Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 102 | 82.8849 | 10.5574 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml |
| MD5SUM | f7684c3e1f9d094a59a7b3edf9b14040 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 102 |
| Best CPU time to get the best result obtained on this benchmark | 7.94325 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2856 |
| Number of constraints | 158 |
| Number of domains | 15 |
| Minimum domain size | 2 |
| Maximum domain size | 21 |
| Distribution of domain sizes | [{"size":2,"count":272},{"size":3,"count":272},{"size":4,"count":136},{"size":5,"count":136},{"size":6,"count":136},{"size":8,"count":136},{"size":9,"count":136},{"size":10,"count":136},{"size":12,"count":544},{"size":14,"count":136},{"size":15,"count":136},{"size":16,"count":136},{"size":17,"count":136},{"size":18,"count":136},{"size":21,"count":272}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2856}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2720 |
| Distribution of constraint arities | [{"arity":21,"count":136},{"arity":136,"count":21},{"arity":2720,"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":156}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -model -nbcores=8 HOME/instance-4398320-1568601899.xml 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 36.43/4.74 c enable optimization 36.43/4.74 c ========================================[ Problem Statistics ]=========================================== 36.43/4.74 c | 36.43/4.74 c | Parse time : 0.08 s 36.43/4.74 c | 36.43/4.74 c | Variables: 2856 36.43/4.74 c | Domain Sizes: 2..21 36.43/4.74 c | 36.43/4.74 c | Constraints: 427 36.43/4.74 c | Arity: 2..136 -- Binary: 135 36.43/4.74 c | 36.43/4.74 c | Types: 36.43/4.74 c | (X -Y <= k): 135 36.43/4.74 c | Lex: 135 36.43/4.74 c | Sum: 157 36.43/4.74 c | 36.43/4.74 c | Objective: Minimize Sum 36.43/4.74 36.43/4.74 c ========================================================================================================= 36.43/4.74 c Parallel mode: Portfolio 36.43/4.74 c [pFactory][Group N°0] created (threads:8). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 36.43/4.74 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 36.43/4.74 c [pFactory][Group N°0] concurrent mode: enabled. 36.43/4.74 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 36.43/4.74 c [pFactory][Group N°0] task 7 launched on thread 7. 36.43/4.74 c [pFactory][Group N°0] task 6 launched on thread 4. 36.43/4.74 c [pFactory][Group N°0] task 5 launched on thread 5. 36.43/4.74 c [pFactory][Group N°0] task 4 launched on thread 6. 36.43/4.74 c [pFactory][Group N°0] task 3 launched on thread 1. 36.43/4.74 c [pFactory][Group N°0] task 2 launched on thread 3. 36.43/4.74 c [pFactory][Group N°0] task 1 launched on thread 0. 36.43/4.74 c [pFactory][Group N°0] task 0 launched on thread 2. 36.43/4.74 o 107 50.71/6.53 o 104 53.91/6.97 o 102 82.68/10.53 c [pFactory][Group N°0] concurent mode: thread 7 has won with the task 7. 82.68/10.53 c [pFactory][Group N°0] Thread N°0 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°1 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°2 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°3 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°4 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°5 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°6 is joined. 82.68/10.53 c [pFactory][Group N°0] Thread N°7 is joined. 82.68/10.53 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°7) 82.68/10.53 s OPTIMUM FOUND 82.68/10.53 c call to solver : 4 82.68/10.53 c 82.68/10.53 c restarts : 663 82.68/10.53 c conflicts : 3479 (42 /sec) 82.68/10.53 c decisions : 217636 (2636 /sec) 82.68/10.53 c propagations : 1789794 (21676 /sec) 82.68/10.53 c root propagations : 19992 82.68/10.53 c filter calls : 1790700 (21687 /sec) 82.68/10.53 c useless filter calls : 1678065 (93 %) 82.68/10.53 c Memory used : 623.68 MB 82.68/10.53 c Best bound time (wc) : 6.97465 s 82.68/10.53 c CPU time : 82.5719 s 82.68/10.53 c real time : 10.5323 s 82.68/10.53 82.68/10.53 82.68/10.53 v <instantiation type='solution' cost='102'> 82.68/10.53 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[13] p[14] p[15] p[16] 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[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[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[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[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[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> 82.68/10.53 v <values>1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 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 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 0 0 0 1 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 1 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 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 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 1 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 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 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 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 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 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> 82.68/10.53 v </instantiation> 82.68/10.53
OK 102
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 (15046 MiB free)
memory of node 1: 16384 MiB (15414 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398320-1568601899/watcher-4398320-1568601899 -o /tmp/evaluation-result-4398320-1568601899/solver-4398320-1568601899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568595972-12105 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398320-1568601899.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13558, runsolver pid=13555
Current StackSize limit: 8192 KiB
[startup+0.100186 s]*
/proc/loadavg: 7.90 8.44 8.92 2/196 13559
/proc/meminfo: memFree=31139772/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=671428 memory=58204 CPUtime=0.11 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 14933 0 0 0 10 1 0 0 20 0 9 0 436429467 687542272 14551 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 167857 14551 890 493 0 161162 0
[pid=13558/tid=13560] ppid=13555 vsize=671428 memory=4134692831991786133 CPUtime=0 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) D 13555 13558 12078 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139959021509624 139959028612069 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=671428 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) D 13555 13558 12078 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139959013116616 139959028607806 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=671428 memory=140657778787968 CPUtime=0 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) D 13555 13558 12078 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139959004723816 139959028607806 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) D 13555 13558 12078 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139958996331512 139959028612069 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139958987938808 139959028612069 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) D 13555 13558 12078 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139958979545800 139959029087831 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=671428 memory=-1 CPUtime=0 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) D 13555 13558 12078 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139958971153096 139959029087831 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 9 0 436429478 687542272 14551 33554432000 4194304 6211092 140727074790944 139958962760696 139959028612069 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 58204 KiB
[startup+0.21031 s]*
/proc/loadavg: 7.90 8.44 8.92 9/204 13567
/proc/meminfo: memFree=31110708/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=685792 memory=89352 CPUtime=0.69 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 23926 0 0 0 64 5 0 0 20 0 9 0 436429467 702251008 22338 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 171448 22338 898 493 0 164753 0
[pid=13558/tid=13560] ppid=13555 vsize=685792 memory=6935054825532540783 CPUtime=0.05 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 1008 0 0 0 5 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139959021509256 5207518 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=685792 memory=4872558142750484026 CPUtime=0.06 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 1006 0 0 0 6 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139959013116944 5409424 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=685792 memory=140657778787968 CPUtime=0.07 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) D 13555 13558 12078 0 -1 4202560 1609 0 0 0 7 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139959004723816 139959029087831 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=685792 memory=0 CPUtime=0.06 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 1008 0 0 0 6 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139958996331536 5148687 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=685792 memory=0 CPUtime=0.04 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 716 0 0 0 4 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139958987938832 5302326 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=685792 memory=0 CPUtime=0.08 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) D 13555 13558 12078 0 -1 4202560 1411 0 0 0 8 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139958979545704 139959029087831 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=685792 memory=-1 CPUtime=0.08 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) D 13555 13558 12078 0 -1 4202560 1426 0 0 0 8 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139958971153000 139959029087831 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=685792 memory=0 CPUtime=0.08 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 1006 0 0 0 8 0 0 0 20 0 9 0 436429478 702251008 22338 33554432000 4194304 6211092 140727074790944 139958962760720 5155812 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 685792 KiB
Current children cumulated memory: 89352 KiB
[startup+0.311184 s]*
/proc/loadavg: 7.90 8.44 8.92 9/204 13567
/proc/meminfo: memFree=31076596/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=687844 memory=122352 CPUtime=1.48 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 32170 0 0 0 141 7 0 0 20 0 9 0 436429467 704352256 30588 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 171961 30588 898 493 0 165266 0
[pid=13558/tid=13560] ppid=13555 vsize=687844 memory=6935054825532540783 CPUtime=0.15 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 2428 0 0 0 15 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139959021509128 5093416 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=687844 memory=4872558142750484026 CPUtime=0.16 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 1006 0 0 0 16 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139959013116944 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=687844 memory=140657778787968 CPUtime=0.17 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 3660 0 0 0 17 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139959004723656 139959028605452 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=687844 memory=2240 CPUtime=0.15 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 2858 0 0 0 15 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139958996331112 5091336 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=687844 memory=2241 CPUtime=0.13 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 1009 0 0 0 13 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139958987938832 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=687844 memory=2241 CPUtime=0.17 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 2623 0 0 0 17 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139958979545512 5149451 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=687844 memory=-1 CPUtime=0.17 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 2844 0 0 0 17 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139958971152840 5148693 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=687844 memory=2209 CPUtime=0.18 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 1006 0 0 0 18 0 0 0 20 0 9 0 436429478 704352256 30588 33554432000 4194304 6211092 140727074790944 139958962760720 5155294 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 122352 KiB
[startup+0.701183 s]
/proc/loadavg: 7.90 8.44 8.92 9/204 13567
/proc/meminfo: memFree=31065436/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=687844 memory=155616 CPUtime=4.5 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 40645 0 0 0 441 9 0 0 20 0 9 0 436429467 704352256 38904 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 171961 38904 899 493 0 165266 0
[pid=13558/tid=13560] ppid=13555 vsize=687844 memory=0 CPUtime=0.53 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 2429 0 0 0 53 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139959021509648 5009142 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=687844 memory=0 CPUtime=0.54 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 3693 0 0 0 54 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139959013116344 5193699 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=687844 memory=0 CPUtime=0.55 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 3977 0 0 0 55 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139959004723816 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=687844 memory=0 CPUtime=0.53 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 2980 0 0 0 53 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139958996330936 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=687844 memory=1716 CPUtime=0.48 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 1582 0 0 0 48 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139958987938232 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=687844 memory=784 CPUtime=0.56 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 3041 0 0 0 55 1 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139958979545528 5409431 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=687844 memory=8252 CPUtime=0.55 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 3100 0 0 0 55 0 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139958971152840 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=687844 memory=6024 CPUtime=0.56 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 5107 0 0 0 55 1 0 0 20 0 9 0 436429478 704352256 38904 33554432000 4194304 6211092 140727074790944 139958962760120 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 4.5 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 155616 KiB
[startup+1.50118 s]
/proc/loadavg: 7.90 8.44 8.92 9/204 13567
/proc/meminfo: memFree=31034684/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=687844 memory=178012 CPUtime=10.88 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 73231 0 0 0 1073 15 0 0 20 0 9 0 436429467 704352256 44503 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 171961 44503 899 493 0 165266 0
[pid=13558/tid=13560] ppid=13555 vsize=687844 memory=6944656592455359580 CPUtime=1.33 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 6773 0 0 0 131 2 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139959021509032 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=687844 memory=6944656575208382560 CPUtime=1.34 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 7657 0 0 0 133 1 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139959013116520 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=687844 memory=-5587106306044206369 CPUtime=1.35 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 8691 0 0 0 134 1 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139959004723656 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=687844 memory=114 CPUtime=1.34 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 5308 0 0 0 133 1 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139958996330952 5148864 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=687844 memory=108 CPUtime=1.28 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 6671 0 0 0 126 2 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139958987938408 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=687844 memory=116 CPUtime=1.36 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 7422 0 0 0 135 1 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139958979545608 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=687844 memory=116 CPUtime=1.36 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 7565 0 0 0 135 1 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139958971153000 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=687844 memory=117 CPUtime=1.37 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 8408 0 0 0 135 2 0 0 20 0 9 0 436429478 704352256 44503 33554432000 4194304 6211092 140727074790944 139958962760120 5193696 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 10.88 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 178012 KiB
[startup+3.13218 s]
/proc/loadavg: 7.90 8.44 8.92 9/204 13567
/proc/meminfo: memFree=30998724/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=687844 memory=199184 CPUtime=23.91 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 81473 0 0 0 2374 17 0 0 20 0 9 0 436429467 704352256 49796 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 171961 49796 899 493 0 165266 0
[pid=13558/tid=13560] ppid=13555 vsize=687844 memory=198040 CPUtime=2.96 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 6818 0 0 0 294 2 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139959021509048 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=687844 memory=56 CPUtime=2.97 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 11144 0 0 0 295 2 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139959013116360 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=687844 memory=0 CPUtime=2.99 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 9225 0 0 0 298 1 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139959004723640 5149700 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=687844 memory=0 CPUtime=2.97 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 5755 0 0 0 296 1 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139958996330952 5150158 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=687844 memory=234 CPUtime=2.87 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 8046 0 0 0 285 2 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139958987938248 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=687844 memory=226 CPUtime=2.99 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 8547 0 0 0 298 1 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139958979545704 5409444 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=687844 memory=236 CPUtime=2.99 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 7944 0 0 0 298 1 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139958971152808 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=687844 memory=189408 CPUtime=3 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 9258 0 0 0 298 2 0 0 20 0 9 0 436429478 704352256 49796 33554432000 4194304 6211092 140727074790944 139958962760104 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 199184 KiB
[startup+6.30118 s]
/proc/loadavg: 7.99 8.45 8.92 9/204 13567
/proc/meminfo: memFree=30965300/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=675532 memory=230304 CPUtime=49.13 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 159882 0 0 0 4890 23 0 0 20 0 9 0 436429467 691744768 57576 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 168883 57576 899 493 0 162188 0
[pid=13558/tid=13560] ppid=13555 vsize=675532 memory=0 CPUtime=6.12 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 14100 0 0 0 610 2 0 0 20 0 9 0 436429478 691744768 57576 33554432000 4194304 6211092 140727074790944 139959021509760 5409457 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=675532 memory=0 CPUtime=6.14 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 19463 0 0 0 611 3 0 0 20 0 9 0 436429478 691744768 57576 33554432000 4194304 6211092 140727074790944 139959013116600 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=675532 memory=140662073755263 CPUtime=6.14 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 16543 0 0 0 613 1 0 0 20 0 9 0 436429478 691744768 57576 33554432000 4194304 6211092 140727074790944 139959004724552 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=675532 memory=3280 CPUtime=6.13 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) D 13555 13558 12078 0 -1 4202560 18987 0 0 0 610 3 0 0 20 0 9 0 436429478 691744768 57576 33554432000 4194304 6211092 140727074790944 139958996331536 5186224 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
################
# More data... #
################
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40118 s]
/proc/loadavg: 7.99 8.45 8.92 9/204 13567
/proc/meminfo: memFree=30965300/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=673480 memory=229360 CPUtime=49.91 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 160080 0 0 0 4968 23 0 0 20 0 9 0 436429467 689643520 57340 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 168370 57340 899 493 0 161675 0
[pid=13558/tid=13560] ppid=13555 vsize=673480 memory=198874165701108 CPUtime=6.22 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 14103 0 0 0 620 2 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139959021509760 5397226 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=673480 memory=198874165701109 CPUtime=6.24 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 19477 0 0 0 621 3 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139959013116600 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=673480 memory=6935054825532540783 CPUtime=6.24 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 16545 0 0 0 623 1 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139959004724552 5009426 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=673480 memory=6024 CPUtime=6.23 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 18990 0 0 0 620 3 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139958996331536 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=673480 memory=1056 CPUtime=6.12 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 17491 0 0 0 609 3 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139958987938832 5148707 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=673480 memory=1540 CPUtime=6.25 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 21541 0 0 0 623 2 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139958979545704 5148651 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=673480 memory=0 CPUtime=6.22 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 16740 0 0 0 621 1 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139958971152824 5091568 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=673480 memory=-6447287110554383552 CPUtime=6.23 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 20457 0 0 0 620 3 0 0 20 0 9 0 436429478 689643520 57340 33554432000 4194304 6211092 140727074790944 139958962760296 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 49.91 s
Current children cumulated vsize: 673480 KiB
Current children cumulated memory: 229360 KiB
[startup+8.00118 s]*
/proc/loadavg: 7.99 8.45 8.92 9/204 13567
/proc/meminfo: memFree=30949364/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=673480 memory=245896 CPUtime=62.75 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 196096 0 0 0 6248 27 0 0 20 0 9 0 436429467 689643520 61474 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 168370 61474 899 493 0 161675 0
[pid=13558/tid=13560] ppid=13555 vsize=673480 memory=6935054825532540783 CPUtime=7.84 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 15906 0 0 0 781 3 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139959021509760 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=673480 memory=4872558044660077418 CPUtime=7.84 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 23175 0 0 0 781 3 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139959013116600 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=673480 memory=24132 CPUtime=7.85 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 18782 0 0 0 783 2 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139959004724240 5155341 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=673480 memory=496 CPUtime=7.83 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 22259 0 0 0 780 3 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139958996331536 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=673480 memory=1564 CPUtime=7.71 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 23241 0 0 0 767 4 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139958987938832 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=673480 memory=928 CPUtime=7.86 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 28442 0 0 0 783 3 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139958979546384 5148687 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=673480 memory=1744 CPUtime=7.82 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 24423 0 0 0 780 2 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139958971153000 5409449 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=673480 memory=792 CPUtime=7.84 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 25132 0 0 0 781 3 0 0 20 0 9 0 436429478 689643520 61474 33554432000 4194304 6211092 140727074790944 139958962761032 5155800 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 62.75 s
Current children cumulated vsize: 673480 KiB
Current children cumulated memory: 245896 KiB
[startup+9.60118 s]
/proc/loadavg: 8.15 8.48 8.93 9/204 13567
/proc/meminfo: memFree=30937584/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=673480 memory=257964 CPUtime=75.46 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 218992 0 0 0 7518 28 0 0 20 0 9 0 436429467 689643520 64491 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 168370 64491 899 493 0 161675 0
[pid=13558/tid=13560] ppid=13555 vsize=673480 memory=0 CPUtime=9.43 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 16729 0 0 0 940 3 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139959021509648 5396321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=673480 memory=6935054825532540783 CPUtime=9.43 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 25469 0 0 0 940 3 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139959013116600 5409461 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=673480 memory=281315258028800 CPUtime=9.44 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 24808 0 0 0 942 2 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139959004723944 5150990 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=673480 memory=7235533043211592153 CPUtime=9.43 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 23878 0 0 0 940 3 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139958996331536 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=673480 memory=6944656592455359580 CPUtime=9.29 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 24954 0 0 0 925 4 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139958987938408 5149674 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=673480 memory=6935054825532540783 CPUtime=9.45 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 31388 0 0 0 942 3 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139958979545544 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=673480 memory=14008 CPUtime=9.41 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 27832 0 0 0 939 2 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139958971153000 5193696 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=673480 memory=12024 CPUtime=9.43 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 29198 0 0 0 940 3 0 0 20 0 9 0 436429478 689643520 64491 33554432000 4194304 6211092 140727074790944 139958962760720 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 75.46 s
Current children cumulated vsize: 673480 KiB
Current children cumulated memory: 257964 KiB
[startup+10.0012 s]*
/proc/loadavg: 8.15 8.48 8.93 9/204 13567
/proc/meminfo: memFree=30938252/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=671428 memory=256876 CPUtime=78.73 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 226178 0 0 0 7844 29 0 0 20 0 9 0 436429467 687542272 64219 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 167857 64219 899 493 0 161162 0
[pid=13558/tid=13560] ppid=13555 vsize=671428 memory=6935054825532540783 CPUtime=9.83 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 16750 0 0 0 980 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959021509648 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=671428 memory=4872558044660077418 CPUtime=9.84 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 25526 0 0 0 981 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959013116600 5397454 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=671428 memory=14008 CPUtime=9.85 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 24829 0 0 0 983 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959004723944 5149023 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=671428 memory=12024 CPUtime=9.83 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 25785 0 0 0 980 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958996331536 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=671428 memory=2116 CPUtime=9.68 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 26077 0 0 0 964 4 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958987938408 5193710 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=671428 memory=24132 CPUtime=9.86 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 33482 0 0 0 983 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958979545544 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=671428 memory=496 CPUtime=9.81 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 29314 0 0 0 979 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958971153000 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=671428 memory=1564 CPUtime=9.84 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 29679 0 0 0 981 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958962760736 5409439 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 78.73 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 256876 KiB
[startup+10.4042 s]
/proc/loadavg: 8.15 8.48 8.93 9/204 13567
/proc/meminfo: memFree=30938252/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=671428 memory=256876 CPUtime=81.88 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 227105 0 0 0 8159 29 0 0 20 0 9 0 436429467 687542272 64219 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 167857 64219 899 493 0 161162 0
[pid=13558/tid=13560] ppid=13555 vsize=671428 memory=288230583149265200 CPUtime=10.23 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 16756 0 0 0 1020 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959021509648 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=671428 memory=14981061499160105 CPUtime=10.24 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 25633 0 0 0 1021 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959013116600 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=671428 memory=6935054825532540783 CPUtime=10.24 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 24849 0 0 0 1022 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959004723944 5156256 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=671428 memory=245896 CPUtime=10.23 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 25813 0 0 0 1020 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958996331536 5409449 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=671428 memory=288288878790720842 CPUtime=10.07 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 26618 0 0 0 1003 4 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958987938408 5409461 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=671428 memory=256876 CPUtime=10.25 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 33599 0 0 0 1022 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958979545544 5186224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=671428 memory=6935054825532540783 CPUtime=10.21 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 29323 0 0 0 1019 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958971153000 5090857 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=671428 memory=-9178176117148050014 CPUtime=10.23 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 29778 0 0 0 1020 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958962760832 5409439 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 81.88 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 256876 KiB
[startup+10.5052 s]
/proc/loadavg: 8.15 8.48 8.93 9/204 13567
/proc/meminfo: memFree=30938252/32770624 swapFree=67004444/67108860
[pid=13558] ppid=13555 vsize=671428 memory=256876 CPUtime=82.68 cores=0-7
/proc/13558/stat : 13558 (cosoco) S 13555 13558 12078 0 -1 1077944320 227687 0 0 0 8239 29 0 0 20 0 9 0 436429467 687542272 64219 33554432000 4194304 6211092 140727074790944 140727074789200 139959044652791 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
/proc/13558/statm: 167857 64219 899 493 0 161162 0
[pid=13558/tid=13560] ppid=13555 vsize=671428 memory=257964 CPUtime=10.33 cores=0-7
/proc/13558/task/13560/stat : 13560 (cosoco) R 13555 13558 12078 0 -1 4202560 16766 0 0 0 1030 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959021509648 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13561] ppid=13555 vsize=671428 memory=913 CPUtime=10.34 cores=0-7
/proc/13558/task/13561/stat : 13561 (cosoco) R 13555 13558 12078 0 -1 4202560 25717 0 0 0 1031 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959013116600 5149048 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13562] ppid=13555 vsize=671428 memory=257964 CPUtime=10.34 cores=0-7
/proc/13558/task/13562/stat : 13562 (cosoco) R 13555 13558 12078 0 -1 4202560 24853 0 0 0 1032 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139959004723944 5157976 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13563] ppid=13555 vsize=671428 memory=2116 CPUtime=10.33 cores=0-7
/proc/13558/task/13563/stat : 13563 (cosoco) R 13555 13558 12078 0 -1 4202560 25825 0 0 0 1030 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958996331536 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13564] ppid=13555 vsize=671428 memory=256876 CPUtime=10.17 cores=0-7
/proc/13558/task/13564/stat : 13564 (cosoco) R 13555 13558 12078 0 -1 4202560 26620 0 0 0 1013 4 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958987938408 5092014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13565] ppid=13555 vsize=671428 memory=2289 CPUtime=10.35 cores=0-7
/proc/13558/task/13565/stat : 13565 (cosoco) R 13555 13558 12078 0 -1 4202560 34065 0 0 0 1032 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958979545544 5186224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13566] ppid=13555 vsize=671428 memory=56 CPUtime=10.31 cores=0-7
/proc/13558/task/13566/stat : 13566 (cosoco) R 13555 13558 12078 0 -1 4202560 29327 0 0 0 1029 2 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958971153000 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
[pid=13558/tid=13567] ppid=13555 vsize=671428 memory=4276910590358563994 CPUtime=10.33 cores=0-7
/proc/13558/task/13567/stat : 13567 (cosoco) R 13555 13558 12078 0 -1 4202560 29780 0 0 0 1030 3 0 0 20 0 9 0 436429478 687542272 64219 33554432000 4194304 6211092 140727074790944 139958962760832 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23793664 140727074792465 140727074792557 140727074792557 140727074795470 0
Current children cumulated CPU time: 82.68 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 256876 KiB
Child status: 0
Real time (s): 10.5574
CPU time (s): 82.8849
CPU user time (s): 82.5721
CPU system time (s): 0.312814
CPU usage (%): 785.088
Max. virtual memory (cumulated for all children) (KiB): 687844
Max. memory (cumulated for all children) (KiB): 257964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 82.5721
system time used= 0.312814
maximum resident set size= 257964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 228487
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= 6654
involuntary context switches= 772
# summary of solver processes directly reported to runsolver:
# pid: 13558
# total CPU time (s): 82.8849
# total CPU user time (s): 82.5721
# total CPU system time (s): 0.312814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068437 second user time and 0.149549 second system time
The end
Begin job on node133 at 2019-09-16 04:44:19 IDJOB=4398320 IDBENCH=124248 IDSOLVER=2851 FILE ID=node133/4398320-1568601899 RUNJOBID= node133-1568595972-12105 PBS_JOBID= 21703396 Free space on /tmp= 59576 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-2.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398320-1568601899/watcher-4398320-1568601899 -o /tmp/evaluation-result-4398320-1568601899/solver-4398320-1568601899 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568595972-12105 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398320-1568601899.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=668393932 node133.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.18 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.18 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.18 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.18 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: 31192492 kB MemAvailable: 31889288 kB Buffers: 223596 kB Cached: 764520 kB SwapCached: 3224 kB Active: 460076 kB Inactive: 532012 kB Active(anon): 28196 kB Inactive(anon): 24388 kB Active(file): 431880 kB Inactive(file): 507624 kB Unevictable: 111236 kB Mlocked: 111236 kB SwapTotal: 67108860 kB SwapFree: 67004444 kB Dirty: 2920 kB Writeback: 0 kB AnonPages: 123268 kB Mapped: 47096 kB Shmem: 39996 kB Slab: 175564 kB SReclaimable: 146256 kB SUnreclaim: 29308 kB KernelStack: 3808 kB PageTables: 5740 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59572 MiB End job on node133 at 2019-09-16 04:44:30