Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 130 | 389.227 | 49.0483 |
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-4398654-1568608543.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.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 0.00/0.10 0 230.71/29.12 c enable optimization 230.71/29.12 c ========================================[ Problem Statistics ]=========================================== 230.71/29.12 c | 230.71/29.12 c | Parse time : 0.10 s 230.71/29.12 c | 230.71/29.12 c | Variables: 3738 230.71/29.12 c | Domain Sizes: 2..22 230.71/29.12 c | 230.71/29.12 c | Constraints: 553 230.71/29.12 c | Arity: 2..178 -- Binary: 177 230.71/29.12 c | 230.71/29.12 c | Types: 230.71/29.12 c | (X -Y <= k): 177 230.71/29.12 c | Lex: 177 230.71/29.12 c | Sum: 199 230.71/29.12 c | 230.71/29.12 c | Objective: Minimize Sum 230.71/29.12 230.71/29.12 c ========================================================================================================= 230.71/29.12 c Parallel mode: Portfolio 230.71/29.12 c [pFactory][Group N°0] created (threads:8). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 230.71/29.12 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 230.71/29.12 c [pFactory][Group N°0] concurrent mode: enabled. 230.71/29.12 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 230.71/29.12 c [pFactory][Group N°0] task 7 launched on thread 3. 230.71/29.12 c [pFactory][Group N°0] task 6 launched on thread 0. 230.71/29.12 c [pFactory][Group N°0] task 5 launched on thread 4. 230.71/29.12 c [pFactory][Group N°0] task 4 launched on thread 5. 230.71/29.12 c [pFactory][Group N°0] task 3 launched on thread 6. 230.71/29.12 c [pFactory][Group N°0] task 2 launched on thread 2. 230.71/29.12 c [pFactory][Group N°0] task 1 launched on thread 7. 230.71/29.12 c [pFactory][Group N°0] task 0 launched on thread 1. 230.71/29.12 o 130 389.18/49.01 c [pFactory][Group N°0] concurent mode: thread 5 has won with the task 4. 389.18/49.01 c [pFactory][Group N°0] Thread N°0 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°1 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°2 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°3 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°4 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°5 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°6 is joined. 389.18/49.01 c [pFactory][Group N°0] Thread N°7 is joined. 389.18/49.01 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°5) 389.18/49.01 s OPTIMUM FOUND 389.18/49.01 c call to solver : 2 389.18/49.01 c 389.18/49.01 c restarts : 1023 389.18/49.01 c conflicts : 8695 (22 /sec) 389.18/49.01 c decisions : 760037 (1956 /sec) 389.18/49.01 c propagations : 3503546 (9018 /sec) 389.18/49.01 c root propagations : 30616 389.18/49.01 c filter calls : 4304088 (11079 /sec) 389.18/49.01 c useless filter calls : 3940757 (91 %) 389.18/49.01 c Memory used : 654.60 MB 389.18/49.01 c Best bound time (wc) : 29.1177 s 389.18/49.01 c CPU time : 388.492 s 389.18/49.01 c real time : 49.0065 s 389.18/49.01 389.18/49.01 389.18/49.01 v <instantiation type='solution' cost='130'> 389.18/49.01 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> 389.18/49.01 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 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 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 389.18/49.01 v </instantiation> 389.18/49.01
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 (14698 MiB free) memory of node 1: 16384 MiB (15814 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398654-1568608543/watcher-4398654-1568608543 -o /tmp/evaluation-result-4398654-1568608543/solver-4398654-1568608543 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398654-1568608543.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 solver pid=4285, runsolver pid=4282 Current StackSize limit: 8192 KiB [startup+0.100055 s]* /proc/loadavg: 7.63 4.45 4.84 3/190 4286 /proc/meminfo: memFree=31195804/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=87608 memory=63788 CPUtime=0.09 cores=0-7 /proc/4285/stat : 4285 (cosoco) R 4282 4285 1328 0 -1 4202496 16174 0 0 0 7 2 0 0 20 0 1 0 437122764 89710592 15947 33554432000 4194304 6211092 140721870742560 140721870737336 139717622627301 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 21902 15947 845 493 0 15207 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 87608 KiB Current children cumulated memory: 63788 KiB [startup+0.209896 s]* /proc/loadavg: 7.63 4.45 4.84 2/198 4294 /proc/meminfo: memFree=31154180/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=703092 memory=98076 CPUtime=0.35 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 24890 0 0 0 29 6 0 0 20 0 9 0 437122764 719966208 24519 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 175773 24519 896 493 0 169078 0 [pid=4285/tid=4287] ppid=4282 vsize=703092 memory=8316850467074736180 CPUtime=0.02 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) D 4282 4285 1328 0 -1 4202560 270 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717615524552 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=703092 memory=12974 CPUtime=0.02 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) D 4282 4285 1328 0 -1 4202560 282 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717607131848 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=703092 memory=140712736046691 CPUtime=0.02 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 267 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717598739144 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=703092 memory=-1 CPUtime=0.02 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 297 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717590346440 5397226 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=703092 memory=0 CPUtime=0.02 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 293 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717581953736 139717622623038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=703092 memory=0 CPUtime=0.02 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) D 4282 4285 1328 0 -1 4202560 308 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717573561032 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=703092 memory=-1 CPUtime=0.02 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) D 4282 4285 1328 0 -1 4202560 270 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717565168328 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=703092 memory=0 CPUtime=0.02 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) D 4282 4285 1328 0 -1 4202560 279 0 0 0 2 0 0 0 20 0 9 0 437122779 719966208 24585 33554432000 4194304 6211092 140721870742560 139717556775624 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 0.35 s Current children cumulated vsize: 703092 KiB Current children cumulated memory: 98076 KiB [startup+0.310064 s]* /proc/loadavg: 7.63 4.45 4.84 9/198 4294 /proc/meminfo: memFree=31124048/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=128020 CPUtime=1.12 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 33112 0 0 0 105 7 0 0 20 0 9 0 437122764 736776192 32005 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 179877 32005 898 493 0 173182 0 [pid=4285/tid=4287] ppid=4282 vsize=719508 memory=-7035114785800479027 CPUtime=0.11 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 1271 0 0 0 11 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717615524488 5397226 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=4872558044660077418 CPUtime=0.12 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 1272 0 0 0 12 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717607132176 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=0 CPUtime=0.12 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 1305 0 0 0 12 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717598738856 5185108 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=0 CPUtime=0.11 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 1276 0 0 0 11 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717590346376 5397226 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=0 CPUtime=0.12 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 1272 0 0 0 12 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717581954136 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=0 CPUtime=0.12 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 1611 0 0 0 12 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717573560776 139717622623038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=0 CPUtime=0.11 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 1271 0 0 0 11 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717565168656 5093432 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=0 CPUtime=0.11 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 1271 0 0 0 11 0 0 0 20 0 9 0 437122779 736776192 32071 33554432000 4194304 6211092 140721870742560 139717556775952 5148864 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 1.12 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 128020 KiB [startup+0.704768 s] /proc/loadavg: 7.63 4.45 4.84 9/198 4294 /proc/meminfo: memFree=31033900/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=302260 CPUtime=3.89 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 76766 0 0 0 367 22 0 0 20 0 9 0 437122764 736776192 75565 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 179877 75565 898 493 0 173182 0 [pid=4285/tid=4287] ppid=4282 vsize=719508 memory=12024 CPUtime=0.44 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 9687 0 0 0 42 2 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717615524264 5185143 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=1560 CPUtime=0.47 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 3611 0 0 0 46 1 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717607131656 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=500 CPUtime=0.45 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) D 4282 4285 1328 0 -1 4202560 9518 0 0 0 42 3 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717598739048 139717623103063 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=928 CPUtime=0.44 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) D 4282 4285 1328 0 -1 4202560 9554 0 0 0 41 3 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717590346152 5185143 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=1804 CPUtime=0.48 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 5137 0 0 0 47 1 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717581953464 5380256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=7100839861465685612 CPUtime=0.46 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 4371 0 0 0 45 1 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717573560840 5149120 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=-7175204567652784766 CPUtime=0.43 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 9525 0 0 0 41 2 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717565168232 139717622696491 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=1984 CPUtime=0.49 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 2704 0 0 0 48 1 0 0 20 0 9 0 437122779 736776192 75565 33554432000 4194304 6211092 140721870742560 139717556775368 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 3.89 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 302260 KiB [startup+1.50106 s] /proc/loadavg: 7.63 4.45 4.84 9/198 4294 /proc/meminfo: memFree=30942760/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=316252 CPUtime=10.25 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 109944 0 0 0 993 32 0 0 20 0 9 0 437122764 736776192 79063 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 179877 79063 899 493 0 173182 0 [pid=4285/tid=4287] ppid=4282 vsize=719508 memory=55 CPUtime=1.24 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 12981 0 0 0 121 3 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717615524296 5397368 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=7017841250531803201 CPUtime=1.26 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 8157 0 0 0 124 2 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717607131752 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=288292190160159290 CPUtime=1.24 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 13351 0 0 0 119 5 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717598739048 5149217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=3177610 CPUtime=1.24 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 11802 0 0 0 121 3 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717590346152 5409439 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=0 CPUtime=1.28 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 10695 0 0 0 125 3 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717581953464 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=0 CPUtime=1.26 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 10513 0 0 0 124 2 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717573560776 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=0 CPUtime=1.22 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 14238 0 0 0 118 4 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717565168232 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=0 CPUtime=1.28 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 5548 0 0 0 127 1 0 0 20 0 9 0 437122779 736776192 79063 33554432000 4194304 6211092 140721870742560 139717556775368 5148687 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 10.25 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 316252 KiB [startup+3.11006 s] /proc/loadavg: 7.66 4.51 4.85 9/198 4294 /proc/meminfo: memFree=30920196/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=333544 CPUtime=23.09 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 163975 0 0 0 2271 38 0 0 20 0 9 0 437122764 736776192 83386 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 179877 83386 899 493 0 173182 0 [pid=4285/tid=4287] ppid=4282 vsize=719508 memory=6944656592455360604 CPUtime=2.85 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 21382 0 0 0 281 4 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717615524456 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=-4051592751533505334 CPUtime=2.87 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 13990 0 0 0 284 3 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717607131880 5397216 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=7752549240514114323 CPUtime=2.86 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 20546 0 0 0 279 7 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717598739048 5149674 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=772 CPUtime=2.84 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 18314 0 0 0 281 3 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717590346152 5186246 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=1060 CPUtime=2.89 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 17085 0 0 0 284 5 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717581953640 5409465 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=1484 CPUtime=2.87 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 17338 0 0 0 284 3 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717573560936 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=1096 CPUtime=2.8 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 20628 0 0 0 276 4 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717565168232 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=1176 CPUtime=2.89 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 12033 0 0 0 287 2 0 0 20 0 9 0 437122779 736776192 83386 33554432000 4194304 6211092 140721870742560 139717556775528 5186312 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 23.09 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 333544 KiB [startup+6.30106 s] /proc/loadavg: 7.66 4.51 4.85 9/197 4294 /proc/meminfo: memFree=30900236/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=349420 CPUtime=48.56 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 235049 0 0 0 4812 44 0 0 20 0 9 0 437122764 736776192 87355 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 179877 87355 899 493 0 173182 0 [pid=4285/tid=4287] ppid=4282 vsize=719508 memory=140717028177535 CPUtime=6.04 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 28770 0 0 0 599 5 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717615524880 5149790 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=349240 CPUtime=6.07 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 25234 0 0 0 603 4 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717607131560 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=3620 CPUtime=6.04 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 29491 0 0 0 597 7 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717598739048 5397226 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=45252 CPUtime=6.03 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 24690 0 0 0 599 4 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717590346152 5148651 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=4956 CPUtime=6.07 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 28406 0 0 0 602 5 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717581953640 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=2099 CPUtime=6.06 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 25467 0 0 0 602 4 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717573560760 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=319120 CPUtime=5.95 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 29352 0 0 0 591 4 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717565168232 5155800 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=0 CPUtime=6.08 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 20980 0 0 0 605 3 0 0 20 0 9 0 437122779 736776192 87355 33554432000 4194304 6211092 140721870742560 139717556775352 5148659 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 48.56 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 349420 KiB [startup+12.7011 s] /proc/loadavg: 7.79 4.64 4.89 9/197 4294 /proc/meminfo: memFree=30883464/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=719508 memory=368080 CPUtime=99.68 cores=0-7 ################ # More data... # ################ [pid=4285/tid=4288] ppid=4282 vsize=719508 memory=399704 CPUtime=25.37 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 54238 0 0 0 2530 7 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717607131752 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=719508 memory=0 CPUtime=25.35 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 43644 0 0 0 2526 9 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717598739048 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=719508 memory=55 CPUtime=25.32 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 50878 0 0 0 2527 5 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717590346184 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=719508 memory=0 CPUtime=25.38 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 49768 0 0 0 2530 8 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717581953480 5409457 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=719508 memory=0 CPUtime=25.35 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 50962 0 0 0 2529 6 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717573560760 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=719508 memory=140712591372608 CPUtime=24.98 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 46670 0 0 0 2492 6 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717565168232 5149217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=719508 memory=576574510189602056 CPUtime=25.38 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 39294 0 0 0 2533 5 0 0 20 0 9 0 437122779 736776192 100019 33554432000 4194304 6211092 140721870742560 139717556775952 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 202.69 s Current children cumulated vsize: 719508 KiB Current children cumulated memory: 400076 KiB [startup+38.4011 s] /proc/loadavg: 7.92 4.93 4.98 9/197 4295 /proc/meminfo: memFree=30812100/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=705144 memory=438704 CPUtime=304.9 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 466924 0 0 0 30423 67 0 0 20 0 9 0 437122764 722067456 109676 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 176286 109676 899 493 0 169591 0 [pid=4285/tid=4287] ppid=4282 vsize=705144 memory=11325 CPUtime=38.14 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 57701 0 0 0 3806 8 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717615524536 5150179 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=705144 memory=1414 CPUtime=38.16 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 56107 0 0 0 3809 7 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717607132288 5009360 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=705144 memory=1417 CPUtime=38.14 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 46047 0 0 0 3805 9 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717598739128 5149208 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=705144 memory=438528 CPUtime=38.13 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 63474 0 0 0 3806 7 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717590346152 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=705144 memory=4096 CPUtime=38.18 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 63308 0 0 0 3809 9 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717581953640 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=705144 memory=2832 CPUtime=38.16 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 59813 0 0 0 3808 8 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717573560776 5409449 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=705144 memory=-7035114785800479027 CPUtime=37.61 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 50823 0 0 0 3754 7 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717565168312 5409439 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=705144 memory=45252 CPUtime=38.18 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 46992 0 0 0 3812 6 0 0 20 0 9 0 437122779 722067456 109676 33554432000 4194304 6211092 140721870742560 139717556775608 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 304.9 s Current children cumulated vsize: 705144 KiB Current children cumulated memory: 438704 KiB [startup+44.8011 s] /proc/loadavg: 7.92 4.98 5.00 9/197 4297 /proc/meminfo: memFree=30812088/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=705144 memory=439428 CPUtime=355.99 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 487656 0 0 0 35530 69 0 0 20 0 9 0 437122764 722067456 109857 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 176286 109857 899 493 0 169591 0 [pid=4285/tid=4287] ppid=4282 vsize=705144 memory=808 CPUtime=44.54 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 60482 0 0 0 4446 8 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717615524536 5148684 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=705144 memory=386996 CPUtime=44.56 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 58375 0 0 0 4448 8 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717607132288 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=705144 memory=3620 CPUtime=44.54 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 49074 0 0 0 4445 9 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717598738856 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=705144 memory=45252 CPUtime=44.52 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 65860 0 0 0 4445 7 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717590346152 5186452 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=705144 memory=988 CPUtime=44.57 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 65609 0 0 0 4448 9 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717581953640 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=705144 memory=0 CPUtime=44.55 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 61684 0 0 0 4447 8 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717573560776 5380256 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=705144 memory=0 CPUtime=43.93 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 54056 0 0 0 4386 7 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717565168312 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=705144 memory=0 CPUtime=44.57 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 49857 0 0 0 4451 6 0 0 20 0 9 0 437122779 722067456 109857 33554432000 4194304 6211092 140721870742560 139717556775608 5409449 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 355.99 s Current children cumulated vsize: 705144 KiB Current children cumulated memory: 439428 KiB [startup+46.4011 s] /proc/loadavg: 7.92 4.98 5.00 9/197 4297 /proc/meminfo: memFree=30812092/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=705144 memory=439648 CPUtime=368.76 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 488058 0 0 0 36807 69 0 0 20 0 9 0 437122764 722067456 109912 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 176286 109912 899 493 0 169591 0 [pid=4285/tid=4287] ppid=4282 vsize=705144 memory=45252 CPUtime=46.13 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 60555 0 0 0 4605 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717615524536 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=705144 memory=988 CPUtime=46.16 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 58389 0 0 0 4608 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717607132288 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=705144 memory=439504 CPUtime=46.14 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 49120 0 0 0 4605 9 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717598739048 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=705144 memory=5972 CPUtime=46.12 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 65978 0 0 0 4605 7 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717590346152 5149120 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=705144 memory=780 CPUtime=46.17 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 65647 0 0 0 4608 9 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717581953640 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=705144 memory=-7035114785800479027 CPUtime=46.15 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 61780 0 0 0 4607 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717573560776 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=705144 memory=1428 CPUtime=45.5 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 54061 0 0 0 4543 7 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717565168312 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=705144 memory=10728 CPUtime=46.17 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 49869 0 0 0 4611 6 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717556775608 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 368.76 s Current children cumulated vsize: 705144 KiB Current children cumulated memory: 439648 KiB [startup+48.0011 s]* /proc/loadavg: 7.93 5.03 5.01 9/197 4297 /proc/meminfo: memFree=30812256/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=705144 memory=439648 CPUtime=381.6 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 488376 0 0 0 38091 69 0 0 20 0 9 0 437122764 722067456 109912 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 176286 109912 899 493 0 169591 0 [pid=4285/tid=4287] ppid=4282 vsize=705144 memory=-7035114785800479027 CPUtime=47.74 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 60564 0 0 0 4766 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717615524536 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=705144 memory=4872558044660077418 CPUtime=47.76 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 58401 0 0 0 4768 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717607132288 5193754 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=705144 memory=4096 CPUtime=47.75 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 49127 0 0 0 4766 9 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717598739048 5091739 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=705144 memory=2832 CPUtime=47.73 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 66118 0 0 0 4766 7 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717590346152 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=705144 memory=772 CPUtime=47.78 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 65732 0 0 0 4769 9 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717581953640 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=705144 memory=1060 CPUtime=47.76 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 61800 0 0 0 4768 8 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717573560776 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=705144 memory=1484 CPUtime=47.09 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 54101 0 0 0 4702 7 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717565168312 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=705144 memory=1096 CPUtime=47.78 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 49874 0 0 0 4772 6 0 0 20 0 9 0 437122779 722067456 109912 33554432000 4194304 6211092 140721870742560 139717556775608 5409449 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 381.6 s Current children cumulated vsize: 705144 KiB Current children cumulated memory: 439648 KiB [startup+48.8011 s] /proc/loadavg: 7.93 5.03 5.01 9/197 4297 /proc/meminfo: memFree=30812256/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=705144 memory=439688 CPUtime=387.93 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 488720 0 0 0 38724 69 0 0 20 0 9 0 437122764 722067456 109922 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 176286 109922 899 493 0 169591 0 [pid=4285/tid=4287] ppid=4282 vsize=705144 memory=988 CPUtime=48.53 cores=0-7 /proc/4285/task/4287/stat : 4287 (cosoco) R 4282 4285 1328 0 -1 4202560 60565 0 0 0 4845 8 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717615524536 5149120 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4288] ppid=4282 vsize=705144 memory=2016 CPUtime=48.56 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 58405 0 0 0 4848 8 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717607132288 5091909 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4289] ppid=4282 vsize=705144 memory=-7035114785800479027 CPUtime=48.54 cores=0-7 /proc/4285/task/4289/stat : 4289 (cosoco) R 4282 4285 1328 0 -1 4202560 49136 0 0 0 4845 9 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717598739048 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4290] ppid=4282 vsize=705144 memory=1552 CPUtime=48.52 cores=0-7 /proc/4285/task/4290/stat : 4290 (cosoco) R 4282 4285 1328 0 -1 4202560 66212 0 0 0 4845 7 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717590346152 5148698 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4291] ppid=4282 vsize=705144 memory=4096 CPUtime=48.57 cores=0-7 /proc/4285/task/4291/stat : 4291 (cosoco) R 4282 4285 1328 0 -1 4202560 65746 0 0 0 4848 9 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717581953640 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4292] ppid=4282 vsize=705144 memory=2832 CPUtime=48.55 cores=0-7 /proc/4285/task/4292/stat : 4292 (cosoco) R 4282 4285 1328 0 -1 4202560 61826 0 0 0 4847 8 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717573560776 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4293] ppid=4282 vsize=705144 memory=772 CPUtime=47.87 cores=0-7 /proc/4285/task/4293/stat : 4293 (cosoco) R 4282 4285 1328 0 -1 4202560 54120 0 0 0 4780 7 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717565168312 5409444 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 [pid=4285/tid=4294] ppid=4282 vsize=705144 memory=-7035114785800479027 CPUtime=48.57 cores=0-7 /proc/4285/task/4294/stat : 4294 (cosoco) R 4282 4285 1328 0 -1 4202560 50051 0 0 0 4851 6 0 0 20 0 9 0 437122779 722067456 109922 33554432000 4194304 6211092 140721870742560 139717556775608 5409457 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 387.93 s Current children cumulated vsize: 705144 KiB Current children cumulated memory: 439688 KiB [startup+49.0005 s]* /proc/loadavg: 7.93 5.03 5.01 2/190 4297 /proc/meminfo: memFree=30813364/32770624 swapFree=66921588/67108860 [pid=4285] ppid=4282 vsize=703092 memory=438016 CPUtime=389.18 cores=0-7 /proc/4285/stat : 4285 (cosoco) S 4282 4285 1328 0 -1 1077944320 488996 0 0 0 38849 69 0 0 20 0 2 0 437122764 719966208 109504 33554432000 4194304 6211092 140721870742560 140721870740816 139717638668023 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 /proc/4285/statm: 175773 109504 900 493 0 169078 0 [pid=4285/tid=4288] ppid=4282 vsize=703092 memory=6935054825532540783 CPUtime=48.76 cores=0-7 /proc/4285/task/4288/stat : 4288 (cosoco) R 4282 4285 1328 0 -1 4202560 58574 0 0 0 4868 8 0 0 20 0 2 0 437122779 719966208 109504 33554432000 4194304 6211092 140721870742560 139717607132288 5397368 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21770240 140721870750742 140721870750834 140721870750834 140721870753742 0 Current children cumulated CPU time: 389.18 s Current children cumulated vsize: 703092 KiB Current children cumulated memory: 438016 KiB Child status: 0 Real time (s): 49.0483 CPU time (s): 389.227 CPU user time (s): 388.494 CPU system time (s): 0.733604 CPU usage (%): 793.558 Max. virtual memory (cumulated for all children) (KiB): 719508 Max. memory (cumulated for all children) (KiB): 439688 getrusage(RUSAGE_CHILDREN,...) data: user time used= 388.494 system time used= 0.733604 maximum resident set size= 439688 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 489175 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= 27961 involuntary context switches= 2777 # summary of solver processes directly reported to runsolver: # pid: 4285 # total CPU time (s): 389.227 # total CPU user time (s): 388.494 # total CPU system time (s): 0.733604 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.235901 second user time and 0.501826 second system time The end
Begin job on node139 at 2019-09-16 06:37:33 IDJOB=4398654 IDBENCH=124151 IDSOLVER=2852 FILE ID=node139/4398654-1568608543 RUNJOBID= node139-1568596036-1355 PBS_JOBID= 21703395 Free space on /tmp= 59556 MiB SOLVER NAME= cosoco 2.O 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-4398654-1568608543/watcher-4398654-1568608543 -o /tmp/evaluation-result-4398654-1568608543/solver-4398654-1568608543 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398654-1568608543.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c061694c4fbf3df02ed1b2618516c596 RANDOM SEED=508784034 node139.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.57 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.57 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.57 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.57 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: 31246472 kB MemAvailable: 31828284 kB Buffers: 94612 kB Cached: 777228 kB SwapCached: 78076 kB Active: 519340 kB Inactive: 434600 kB Active(anon): 7388 kB Inactive(anon): 116832 kB Active(file): 511952 kB Inactive(file): 317768 kB Unevictable: 107864 kB Mlocked: 107864 kB SwapTotal: 67108860 kB SwapFree: 66921588 kB Dirty: 2964 kB Writeback: 0 kB AnonPages: 112996 kB Mapped: 46592 kB Shmem: 33504 kB Slab: 164932 kB SReclaimable: 135856 kB SUnreclaim: 29076 kB KernelStack: 3536 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496600 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: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59556 MiB End job on node139 at 2019-09-16 06:38:22