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 | 80.0678 | 10.2099 |
| 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 | 8.2119 |
| 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.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -model -nbcores=8 HOME/instance-4398620-1568608578.xml 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 21.38/2.88 c enable optimization 21.38/2.88 c ========================================[ Problem Statistics ]=========================================== 21.38/2.88 c | 21.38/2.88 c | Parse time : 0.08 s 21.38/2.88 c | 21.38/2.88 c | Variables: 2856 21.38/2.88 c | Domain Sizes: 2..21 21.38/2.88 c | 21.38/2.88 c | Constraints: 427 21.38/2.88 c | Arity: 2..136 -- Binary: 135 21.38/2.88 c | 21.38/2.88 c | Types: 21.38/2.88 c | (X -Y <= k): 135 21.38/2.88 c | Lex: 135 21.38/2.88 c | Sum: 157 21.38/2.88 c | 21.38/2.88 c | Objective: Minimize Sum 21.38/2.88 21.38/2.88 c ========================================================================================================= 21.38/2.88 c Parallel mode: Portfolio 21.38/2.88 c [pFactory][Group N°0] created (threads:8). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 21.38/2.88 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 21.38/2.88 c [pFactory][Group N°0] concurrent mode: enabled. 21.38/2.88 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 21.38/2.88 c [pFactory][Group N°0] task 7 launched on thread 0. 21.38/2.88 c [pFactory][Group N°0] task 6 launched on thread 5. 21.38/2.88 c [pFactory][Group N°0] task 5 launched on thread 1. 21.38/2.88 c [pFactory][Group N°0] task 4 launched on thread 6. 21.38/2.88 c [pFactory][Group N°0] task 3 launched on thread 7. 21.38/2.88 c [pFactory][Group N°0] task 2 launched on thread 4. 21.38/2.88 c [pFactory][Group N°0] task 1 launched on thread 3. 21.38/2.88 c [pFactory][Group N°0] task 0 launched on thread 2. 21.38/2.88 o 112 26.96/3.51 o 111 26.96/3.59 o 110 35.75/4.64 o 109 39.81/5.19 o 106 44.52/5.76 o 103 50.11/6.42 o 102 79.73/10.18 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4. 79.73/10.18 c [pFactory][Group N°0] Thread N°0 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°1 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°2 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°3 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°4 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°5 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°6 is joined. 79.73/10.18 c [pFactory][Group N°0] Thread N°7 is joined. 79.73/10.18 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 79.73/10.18 s OPTIMUM FOUND 79.73/10.18 c call to solver : 3 79.73/10.18 c 79.73/10.18 c restarts : 662 79.73/10.18 c conflicts : 3518 (44 /sec) 79.73/10.18 c decisions : 195294 (2450 /sec) 79.73/10.18 c propagations : 1570014 (19693 /sec) 79.73/10.18 c root propagations : 19992 79.73/10.18 c filter calls : 1482588 (18596 /sec) 79.73/10.18 c useless filter calls : 1359493 (91 %) 79.73/10.18 c Memory used : 623.68 MB 79.73/10.18 c Best bound time (wc) : 6.42045 s 79.73/10.18 c CPU time : 79.7254 s 79.73/10.18 c real time : 10.1748 s 79.73/10.18 79.73/10.18 79.73/10.18 v <instantiation type='solution' cost='102'> 79.73/10.18 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> 79.73/10.18 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 1 0 1 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 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 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 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 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 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 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 </values> 79.73/10.18 v </instantiation> 79.73/10.18
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 (14905 MiB free)
memory of node 1: 16384 MiB (15790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398620-1568608578/watcher-4398620-1568608578 -o /tmp/evaluation-result-4398620-1568608578/solver-4398620-1568608578 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568593565-7220 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398620-1568608578.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=8920, runsolver pid=8917
[startup+0.100184 s]*
/proc/loadavg: 5.43 7.80 8.34 2/190 8921
/proc/meminfo: memFree=31378544/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=58072 CPUtime=0.11 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 14965 0 0 0 9 2 0 0 20 0 9 0 437114952 687542272 14518 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 14518 876 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=576460756329955530 CPUtime=0 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) D 8917 8920 7193 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405735910088 140405743008574 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) D 8917 8920 7193 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405727517688 140405743012837 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=140011147364949 CPUtime=0 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) D 8917 8920 7193 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405719124584 140405743008574 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405710731976 140405743008574 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) D 8917 8920 7193 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405702339176 140405743488599 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405693946568 140405743012837 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=-1 CPUtime=0 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) D 8917 8920 7193 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405685553768 140405743488599 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=0 CPUtime=0 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) D 8917 8920 7193 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 9 0 437114962 687542272 14518 33554432000 4194304 6211092 140732858196704 140405677161464 140405743488599 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 58072 KiB
[startup+0.211773 s]*
/proc/loadavg: 5.43 7.80 8.34 9/198 8929
/proc/meminfo: memFree=31346912/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=687844 memory=94328 CPUtime=0.8 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 25671 0 0 0 75 5 0 0 20 0 9 0 437114952 704352256 23582 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 171961 23582 884 493 0 165266 0
[pid=8920/tid=8922] ppid=8917 vsize=687844 memory=576460756329955530 CPUtime=0.09 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 1199 0 0 0 9 0 0 0 20 0 9 0 437114962 704352256 23648 33554432000 4194304 6211092 140732858196704 140405735909832 140405743008574 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=687844 memory=0 CPUtime=0.06 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 1008 0 0 0 6 0 0 0 20 0 9 0 437114962 704352256 23648 33554432000 4194304 6211092 140732858196704 140405727517320 5409444 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=687844 memory=140011147364949 CPUtime=0.09 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 2172 0 0 0 9 0 0 0 20 0 9 0 437114962 704352256 23648 33554432000 4194304 6211092 140732858196704 140405719124584 140405743008574 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=687844 memory=0 CPUtime=0.08 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 1243 0 0 0 8 0 0 0 20 0 9 0 437114962 704352256 23648 33554432000 4194304 6211092 140732858196704 140405710731704 140405743008574 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=687844 memory=0 CPUtime=0.09 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 1495 0 0 0 9 0 0 0 20 0 9 0 437114962 704352256 23648 33554432000 4194304 6211092 140732858196704 140405702339176 140405743008574 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=687844 memory=0 CPUtime=0.09 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 1008 0 0 0 9 0 0 0 20 0 9 0 437114962 704352256 23714 33554432000 4194304 6211092 140732858196704 140405693946896 5155341 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=687844 memory=-1 CPUtime=0.09 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 1947 0 0 0 9 0 0 0 20 0 9 0 437114962 704352256 23714 33554432000 4194304 6211092 140732858196704 140405685553864 140405743082027 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=687844 memory=0 CPUtime=0.06 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 1008 0 0 0 6 0 0 0 20 0 9 0 437114962 704352256 23714 33554432000 4194304 6211092 140732858196704 140405677161096 5148640 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 94328 KiB
[startup+0.310777 s]*
/proc/loadavg: 5.43 7.80 8.34 9/198 8929
/proc/meminfo: memFree=31298552/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=687844 memory=139472 CPUtime=1.57 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 37058 0 0 0 149 8 0 0 20 0 9 0 437114952 704352256 34868 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 171961 34868 884 493 0 165266 0
[pid=8920/tid=8922] ppid=8917 vsize=687844 memory=8317482817917895235 CPUtime=0.19 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 1403 0 0 0 19 0 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405735909816 5397226 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=687844 memory=0 CPUtime=0.16 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 5306 0 0 0 15 1 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405727517128 5156192 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=687844 memory=0 CPUtime=0.19 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 3889 0 0 0 18 1 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405719124424 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=687844 memory=6944652177228980320 CPUtime=0.17 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 2438 0 0 0 17 0 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405710731720 5391899 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=687844 memory=0 CPUtime=0.19 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 3177 0 0 0 18 1 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405702339016 5150179 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=687844 memory=0 CPUtime=0.19 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 1008 0 0 0 19 0 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405693946896 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=687844 memory=0 CPUtime=0.18 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 4092 0 0 0 18 0 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405685553592 5250224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=687844 memory=0 CPUtime=0.15 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 1008 0 0 0 15 0 0 0 20 0 9 0 437114962 704352256 34868 33554432000 4194304 6211092 140732858196704 140405677161096 5148679 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 139472 KiB
[startup+0.700774 s]
/proc/loadavg: 5.43 7.80 8.34 9/198 8929
/proc/meminfo: memFree=31287120/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=687844 memory=171944 CPUtime=4.6 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 45204 0 0 0 451 9 0 0 20 0 9 0 437114952 704352256 42986 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 171961 42986 885 493 0 165266 0
[pid=8920/tid=8922] ppid=8917 vsize=687844 memory=13692 CPUtime=0.57 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 5477 0 0 0 57 0 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405735909800 5409424 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=687844 memory=14048 CPUtime=0.54 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 5504 0 0 0 53 1 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405727517288 5092460 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=687844 memory=23896 CPUtime=0.57 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 4340 0 0 0 56 1 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405719124408 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=687844 memory=2120 CPUtime=0.55 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 2459 0 0 0 55 0 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405710732184 5391298 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=687844 memory=532 CPUtime=0.57 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 3299 0 0 0 56 1 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405702338984 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=687844 memory=1564 CPUtime=0.57 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 1581 0 0 0 57 0 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405693946312 5148679 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=687844 memory=924 CPUtime=0.56 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 4111 0 0 0 56 0 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405685553608 5149010 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=687844 memory=1668 CPUtime=0.51 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 3696 0 0 0 51 0 0 0 20 0 9 0 437114962 704352256 42986 33554432000 4194304 6211092 140732858196704 140405677160888 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 4.6 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 171944 KiB
[startup+1.50077 s]
/proc/loadavg: 5.43 7.80 8.34 9/198 8929
/proc/meminfo: memFree=31255624/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=687844 memory=190612 CPUtime=11 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 78291 0 0 0 1084 16 0 0 20 0 9 0 437114952 704352256 47653 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 171961 47653 885 493 0 165266 0
[pid=8920/tid=8922] ppid=8917 vsize=687844 memory=0 CPUtime=1.37 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 8264 0 0 0 136 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405735909832 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=687844 memory=0 CPUtime=1.34 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 11094 0 0 0 132 2 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405727517128 5186224 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=687844 memory=0 CPUtime=1.36 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 7881 0 0 0 135 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405719124488 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=687844 memory=0 CPUtime=1.35 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 6379 0 0 0 133 2 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405710731880 5155800 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=687844 memory=7233736994252652628 CPUtime=1.36 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 6507 0 0 0 135 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405702339016 5157993 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=687844 memory=288284493630994152 CPUtime=1.37 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 5946 0 0 0 136 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405693946296 5149217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=687844 memory=8562125494162282060 CPUtime=1.37 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 8763 0 0 0 136 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405685553768 5193710 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=687844 memory=280022070176288 CPUtime=1.3 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 8721 0 0 0 129 1 0 0 20 0 9 0 437114962 704352256 47653 33554432000 4194304 6211092 140732858196704 140405677160904 5157976 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 11 s
Current children cumulated vsize: 687844 KiB
Current children cumulated memory: 190612 KiB
[startup+3.10978 s]
/proc/loadavg: 5.43 7.80 8.34 9/198 8929
/proc/meminfo: memFree=31210476/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=683740 memory=228168 CPUtime=23.83 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 93971 0 0 0 2365 18 0 0 20 0 9 0 437114952 700149760 57042 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 170935 57042 885 493 0 164240 0
[pid=8920/tid=8922] ppid=8917 vsize=683740 memory=203128 CPUtime=2.97 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 12571 0 0 0 295 2 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405735909992 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=683740 memory=8836 CPUtime=2.95 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 12184 0 0 0 293 2 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405727517112 5397375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=683740 memory=203676 CPUtime=2.97 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 8478 0 0 0 296 1 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405719124408 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=683740 memory=203676 CPUtime=2.96 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 8057 0 0 0 294 2 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405710732616 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=683740 memory=1900427 CPUtime=2.97 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 6753 0 0 0 296 1 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405702339016 5148884 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=683740 memory=156 CPUtime=2.97 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 8940 0 0 0 296 1 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405693946472 140405743082027 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=683740 memory=157 CPUtime=2.97 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 12156 0 0 0 296 1 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405685554448 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=683740 memory=150 CPUtime=2.88 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 10100 0 0 0 287 1 0 0 20 0 9 0 437114962 700149760 57042 33554432000 4194304 6211092 140732858196704 140405677160888 5157054 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 23.83 s
Current children cumulated vsize: 683740 KiB
Current children cumulated memory: 228168 KiB
[startup+6.30077 s]
/proc/loadavg: 5.47 7.77 8.33 9/198 8929
/proc/meminfo: memFree=31189692/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=254728 CPUtime=49.31 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 183563 0 0 0 4904 27 0 0 20 0 9 0 437114952 687542272 63682 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 63682 885 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=203676 CPUtime=6.17 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 23864 0 0 0 613 4 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405735910416 5091747 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=203676 CPUtime=6.14 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 27383 0 0 0 611 3 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405727517368 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=0 CPUtime=6.16 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 20468 0 0 0 614 2 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405719125320 5186312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=0 CPUtime=6.14 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 14312 0 0 0 611 3 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405710731704 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=0 CPUtime=6.16 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 15346 0 0 0 614 2 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405702339016 5148830 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=0 CPUtime=6.17 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 22256 0 0 0 614 3 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405693946472 5409444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=0 CPUtime=6.17 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 27072 0 0 0 614 3 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405685554448 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=0 CPUtime=6.04 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 18125 0 0 0 602 2 0 0 20 0 9 0 437114962 687542272 63682 33554432000 4194304 6211092 140732858196704 140405677161600 5391845 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 49.31 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 254728 KiB
[startup+10.2098 s]
# the end of solver process 8920 was just reported to runsolver
# cumulated CPU time of all completed processes: user=79.7271 s, system=0.340736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40078 s]
/proc/loadavg: 5.47 7.77 8.33 9/198 8929
/proc/meminfo: memFree=31189692/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=256416 CPUtime=50.11 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 184178 0 0 0 4984 27 0 0 20 0 9 0 437114952 687542272 64104 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 64104 885 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=-7035114785800479027 CPUtime=6.27 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 23866 0 0 0 623 4 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405735910416 5149217 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=1056 CPUtime=6.24 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 27392 0 0 0 621 3 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405727517368 5093400 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=33 CPUtime=6.26 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 20468 0 0 0 624 2 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405719125320 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=0 CPUtime=6.24 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 14325 0 0 0 621 3 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405710731704 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=0 CPUtime=6.26 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 15734 0 0 0 624 2 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405702339016 5409439 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=246960 CPUtime=6.27 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 22369 0 0 0 624 3 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405693946472 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=692 CPUtime=6.27 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 27132 0 0 0 624 3 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405685554448 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=1056 CPUtime=6.13 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 18155 0 0 0 611 2 0 0 20 0 9 0 437114962 687542272 64104 33554432000 4194304 6211092 140732858196704 140405677161600 5409457 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 50.11 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 256416 KiB
[startup+8.00078 s]*
/proc/loadavg: 5.47 7.77 8.33 9/198 8929
/proc/meminfo: memFree=31168104/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=269384 CPUtime=62.96 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 224864 0 0 0 6265 31 0 0 20 0 9 0 437114952 687542272 67346 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 67346 885 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=8317482817917895235 CPUtime=7.87 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 27596 0 0 0 783 4 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405735910072 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=6944656592455097440 CPUtime=7.85 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 33461 0 0 0 781 4 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405727517096 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=6944656592455097440 CPUtime=7.87 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 27271 0 0 0 785 2 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405719124584 5409457 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=0 CPUtime=7.86 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 17435 0 0 0 782 4 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405710731704 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=140011035004316 CPUtime=7.87 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 20179 0 0 0 785 2 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405702338984 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=31356350842106267 CPUtime=7.87 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 26677 0 0 0 784 3 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405693946472 5156188 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=1899365 CPUtime=7.88 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 32330 0 0 0 785 3 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405685553848 5409457 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=0 CPUtime=7.71 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 25178 0 0 0 769 2 0 0 20 0 9 0 437114962 687542272 67346 33554432000 4194304 6211092 140732858196704 140405677161064 5149217 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 62.96 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 269384 KiB
[startup+9.60077 s]
/proc/loadavg: 5.47 7.77 8.33 9/198 8929
/proc/meminfo: memFree=31168424/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=269632 CPUtime=75.66 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 230953 0 0 0 7535 31 0 0 20 0 9 0 437114952 687542272 67408 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 67408 885 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=0 CPUtime=9.46 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 29000 0 0 0 942 4 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405735910072 5149672 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=0 CPUtime=9.44 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 34792 0 0 0 940 4 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405727517824 5186452 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=-7035114785800479027 CPUtime=9.46 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 27410 0 0 0 944 2 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405719124664 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=-8386972852007771509 CPUtime=9.45 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 17958 0 0 0 941 4 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405710731704 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=-7399350170322123884 CPUtime=9.46 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 20454 0 0 0 944 2 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405702338984 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=280022069805296 CPUtime=9.46 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 26942 0 0 0 943 3 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405693946472 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=-7035114785800479027 CPUtime=9.46 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 33992 0 0 0 943 3 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405685553968 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=0 CPUtime=9.29 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 25669 0 0 0 927 2 0 0 20 0 9 0 437114962 687542272 67408 33554432000 4194304 6211092 140732858196704 140405677161144 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 75.66 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 269632 KiB
[startup+10.0008 s]*
/proc/loadavg: 5.67 7.78 8.33 9/198 8929
/proc/meminfo: memFree=31168300/32770624 swapFree=66975920/67108860
[pid=8920] ppid=8917 vsize=671428 memory=269864 CPUtime=78.92 cores=0-7
/proc/8920/stat : 8920 (cosoco) S 8917 8920 7193 0 -1 1077944320 231547 0 0 0 7861 31 0 0 20 0 9 0 437114952 687542272 67466 33554432000 4194304 6211092 140732858196704 140732858194960 140405759053559 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
/proc/8920/statm: 167857 67466 885 493 0 161162 0
[pid=8920/tid=8922] ppid=8917 vsize=671428 memory=6154278173700810345 CPUtime=9.87 cores=0-7
/proc/8920/task/8922/stat : 8922 (cosoco) R 8917 8920 7193 0 -1 4202560 29165 0 0 0 983 4 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405735910072 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8923] ppid=8917 vsize=671428 memory=8317482817917895235 CPUtime=9.85 cores=0-7
/proc/8920/task/8923/stat : 8923 (cosoco) R 8917 8920 7193 0 -1 4202560 34848 0 0 0 981 4 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405727517824 5409465 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8924] ppid=8917 vsize=671428 memory=3836 CPUtime=9.87 cores=0-7
/proc/8920/task/8924/stat : 8924 (cosoco) R 8917 8920 7193 0 -1 4202560 27426 0 0 0 985 2 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405719124664 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8925] ppid=8917 vsize=671428 memory=4104 CPUtime=9.86 cores=0-7
/proc/8920/task/8925/stat : 8925 (cosoco) R 8917 8920 7193 0 -1 4202560 17963 0 0 0 982 4 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405710731880 5409457 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8926] ppid=8917 vsize=671428 memory=1408 CPUtime=9.87 cores=0-7
/proc/8920/task/8926/stat : 8926 (cosoco) R 8917 8920 7193 0 -1 4202560 20462 0 0 0 985 2 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405702338984 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8927] ppid=8917 vsize=671428 memory=2372 CPUtime=9.87 cores=0-7
/proc/8920/task/8927/stat : 8927 (cosoco) R 8917 8920 7193 0 -1 4202560 27257 0 0 0 984 3 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405693946472 5149674 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8928] ppid=8917 vsize=671428 memory=269500 CPUtime=9.87 cores=0-7
/proc/8920/task/8928/stat : 8928 (cosoco) R 8917 8920 7193 0 -1 4202560 34014 0 0 0 984 3 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405685553968 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
[pid=8920/tid=8929] ppid=8917 vsize=671428 memory=1164 CPUtime=9.68 cores=0-7
/proc/8920/task/8929/stat : 8929 (cosoco) R 8917 8920 7193 0 -1 4202560 25677 0 0 0 966 2 0 0 20 0 9 0 437114962 687542272 67466 33554432000 4194304 6211092 140732858196704 140405677161144 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13680640 140732858201110 140732858201202 140732858201202 140732858204110 0
Current children cumulated CPU time: 78.92 s
Current children cumulated vsize: 671428 KiB
Current children cumulated memory: 269864 KiB
[startup+10.2005 s]*
/proc/loadavg: 5.67 7.78 8.33 2/190 8929
/proc/meminfo: memFree=31393240/32770624 swapFree=66975920/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 10.2099
CPU time (s): 80.0678
CPU user time (s): 79.7271
CPU system time (s): 0.340736
CPU usage (%): 784.22
Max. virtual memory (cumulated for all children) (KiB): 687844
Max. memory (cumulated for all children) (KiB): 269864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.7271
system time used= 0.340736
maximum resident set size= 270148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231745
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= 7047
involuntary context switches= 654
# summary of solver processes directly reported to runsolver:
# pid: 8920
# total CPU time (s): 80.0678
# total CPU user time (s): 79.7271
# total CPU system time (s): 0.340736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056295 second user time and 0.154813 second system time
The end
Begin job on node104 at 2019-09-16 05:26:00 IDJOB=4398620 IDBENCH=124248 IDSOLVER=2852 FILE ID=node104/4398620-1568608578 RUNJOBID= node104-1568593565-7220 PBS_JOBID= 21703410 Free space on /tmp= 59012 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-4398620-1568608578/watcher-4398620-1568608578 -o /tmp/evaluation-result-4398620-1568608578/solver-4398620-1568608578 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568593565-7220 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398620-1568608578.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= f7684c3e1f9d094a59a7b3edf9b14040 RANDOM SEED=668820019 node104.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 : 5334.09 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 : 5334.09 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 : 5334.09 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 : 5334.09 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: 31432264 kB MemAvailable: 31866320 kB Buffers: 66140 kB Cached: 665068 kB SwapCached: 32020 kB Active: 501096 kB Inactive: 263316 kB Active(anon): 3292 kB Inactive(anon): 78828 kB Active(file): 497804 kB Inactive(file): 184488 kB Unevictable: 110856 kB Mlocked: 110856 kB SwapTotal: 67108860 kB SwapFree: 66975920 kB Dirty: 2720 kB Writeback: 4 kB AnonPages: 112820 kB Mapped: 45688 kB Shmem: 40364 kB Slab: 164260 kB SReclaimable: 135196 kB SUnreclaim: 29064 kB KernelStack: 3392 kB PageTables: 5108 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497528 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 59008 MiB End job on node104 at 2019-09-16 05:26:10