Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 89 | 98.5457 | 12.5237 |
| Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml |
| MD5SUM | 21aab71f6f536658a77b49f0e4f1f876 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 89 |
| Best CPU time to get the best result obtained on this benchmark | 7.39237 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2772 |
| Number of constraints | 154 |
| Number of domains | 12 |
| Minimum domain size | 2 |
| Maximum domain size | 17 |
| Distribution of domain sizes | [{"size":2,"count":396},{"size":4,"count":264},{"size":5,"count":132},{"size":8,"count":132},{"size":9,"count":132},{"size":10,"count":132},{"size":12,"count":132},{"size":13,"count":396},{"size":14,"count":132},{"size":15,"count":396},{"size":16,"count":264},{"size":17,"count":264}] |
| Minimum variable degree | 3 |
| Maximum variable degree | 3 |
| Distribution of variable degrees | [{"degree":3,"count":2772}] |
| Minimum constraint arity | 21 |
| Maximum constraint arity | 2640 |
| Distribution of constraint arities | [{"arity":21,"count":132},{"arity":132,"count":21},{"arity":2640,"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":152}] |
| 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-4409697-1569822544.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.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.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.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.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.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.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 33.05/4.30 c enable optimization 33.05/4.30 c ========================================[ Problem Statistics ]=========================================== 33.05/4.30 c | 33.05/4.30 c | Parse time : 0.08 s 33.05/4.30 c | 33.05/4.30 c | Variables: 2772 33.05/4.30 c | Domain Sizes: 2..17 33.05/4.30 c | 33.05/4.30 c | Constraints: 415 33.05/4.30 c | Arity: 2..132 -- Binary: 131 33.05/4.30 c | 33.05/4.30 c | Types: 33.05/4.30 c | (X -Y <= k): 131 33.05/4.30 c | Lex: 131 33.05/4.30 c | Sum: 153 33.05/4.30 c | 33.05/4.30 c | Objective: Minimize Sum 33.05/4.30 33.05/4.30 c ========================================================================================================= 33.05/4.30 c Parallel mode: Portfolio 33.05/4.30 c [pFactory][Group N°0] created (threads:8). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 33.05/4.30 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 33.05/4.30 c [pFactory][Group N°0] concurrent mode: enabled. 33.05/4.30 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 33.05/4.30 c [pFactory][Group N°0] task 7 launched on thread 2. 33.05/4.30 c [pFactory][Group N°0] task 6 launched on thread 3. 33.05/4.30 c [pFactory][Group N°0] task 5 launched on thread 4. 33.05/4.30 c [pFactory][Group N°0] task 4 launched on thread 5. 33.05/4.30 c [pFactory][Group N°0] task 3 launched on thread 1. 33.05/4.30 c [pFactory][Group N°0] task 2 launched on thread 6. 33.05/4.30 c [pFactory][Group N°0] task 1 launched on thread 7. 33.05/4.30 c [pFactory][Group N°0] task 0 launched on thread 0. 33.05/4.30 o 127 53.83/7.00 o 105 59.42/7.60 o 101 68.20/8.79 o 100 69.00/8.85 o 92 79.45/10.12 o 91 92.15/11.70 o 90 97.75/12.48 o 89 98.51/12.50 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 6. 98.51/12.50 c [pFactory][Group N°0] Thread N°0 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°1 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°2 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°3 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°4 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°5 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°6 is joined. 98.51/12.50 c [pFactory][Group N°0] Thread N°7 is joined. 98.51/12.50 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 98.51/12.50 s OPTIMUM FOUND 98.51/12.50 c call to solver : 4 98.51/12.50 c 98.51/12.50 c restarts : 660 98.51/12.50 c conflicts : 3244 (33 /sec) 98.51/12.50 c decisions : 248898 (2536 /sec) 98.51/12.50 c propagations : 2191603 (22327 /sec) 98.51/12.50 c root propagations : 17688 98.51/12.50 c filter calls : 1888590 (19240 /sec) 98.51/12.50 c useless filter calls : 1751091 (92 %) 98.51/12.50 c Memory used : 621.34 MB 98.51/12.50 c Best bound time (wc) : 12.486 s 98.51/12.50 c CPU time : 98.1597 s 98.51/12.50 c real time : 12.4973 s 98.51/12.50 98.51/12.50 98.51/12.50 v <instantiation type='solution' cost='89'> 98.51/12.50 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[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[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> 98.51/12.50 v <values>1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 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 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 8 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 </values> 98.51/12.50 v </instantiation> 98.51/12.50
OK 89
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 (15433 MiB free)
memory of node 1: 16384 MiB (15580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409697-1569822544/watcher-4409697-1569822544 -o /tmp/evaluation-result-4409697-1569822544/solver-4409697-1569822544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409697-1569822544.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16769, runsolver pid=16766
Current StackSize limit: 8192 KiB
[startup+0.100171 s]*
/proc/loadavg: 5.18 2.12 1.82 2/192 16770
/proc/meminfo: memFree=31707276/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=55796 CPUtime=0.12 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 14492 0 0 0 10 2 0 0 20 0 9 0 558523150 685092864 13949 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 13949 890 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=576460756329955530 CPUtime=0 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428985145960 140428992244542 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=0 CPUtime=0 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428976753288 140428992248805 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=4049778976446211744 CPUtime=0 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428968360504 140428992244542 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=0 CPUtime=0 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428959967944 140428992244542 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=0 CPUtime=0 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428951575240 140428992244542 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=0 CPUtime=0 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) D 16766 16769 15778 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428943182392 140428992244542 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=-1 CPUtime=0 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428934789832 140428992248805 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=0 CPUtime=0 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 9 0 558523160 685092864 13949 33554432000 4194304 6211132 140728413488640 140428926397032 140428992244542 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 55796 KiB
[startup+0.210211 s]*
/proc/loadavg: 5.18 2.12 1.82 5/200 16778
/proc/meminfo: memFree=31678300/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=677260 memory=90804 CPUtime=0.8 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 23763 0 0 0 75 5 0 0 20 0 9 0 558523150 693514240 22701 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 169315 22701 898 493 0 162620 0
[pid=16769/tid=16771] ppid=16766 vsize=677260 memory=8316850467074736180 CPUtime=0.09 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) D 16766 16769 15778 0 -1 4202560 1902 0 0 0 9 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428985145784 140428992244542 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=677260 memory=1947273 CPUtime=0.07 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 912 0 0 0 7 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428976753352 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=677260 memory=139983942274356 CPUtime=0.07 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) D 16766 16769 15778 0 -1 4202560 852 0 0 0 7 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428968360360 140428992724567 0 0 4096 8405026 18446744071582151463 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=677260 memory=-1 CPUtime=0.09 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 1276 0 0 0 9 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428959967688 140428992244542 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=677260 memory=0 CPUtime=0.08 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) D 16766 16769 15778 0 -1 4202560 803 0 0 0 8 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428951575144 140428992724567 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=677260 memory=0 CPUtime=0.07 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) D 16766 16769 15778 0 -1 4202560 1127 0 0 0 7 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428943182280 140428992244542 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=677260 memory=-1 CPUtime=0.07 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 914 0 0 0 7 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428934789736 140428992244542 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=677260 memory=0 CPUtime=0.09 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 1867 0 0 0 9 0 0 0 20 0 9 0 558523160 693514240 22701 33554432000 4194304 6211132 140728413488640 140428926396872 140428992724567 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 0.8 s
Current children cumulated vsize: 677260 KiB
Current children cumulated memory: 90804 KiB
[startup+0.310506 s]*
/proc/loadavg: 5.18 2.12 1.82 8/200 16778
/proc/meminfo: memFree=31658956/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=677260 memory=107172 CPUtime=1.55 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 27812 0 0 0 149 6 0 0 20 0 9 0 558523150 693514240 26793 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 169315 26793 898 493 0 162620 0
[pid=16769/tid=16771] ppid=16766 vsize=677260 memory=1398722017469774279 CPUtime=0.18 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 2583 0 0 0 18 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428985145768 5148719 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=677260 memory=0 CPUtime=0.16 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) D 16766 16769 15778 0 -1 4202560 1158 0 0 0 16 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428976753096 140428992244542 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=677260 memory=0 CPUtime=0.16 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) D 16766 16769 15778 0 -1 4202560 1155 0 0 0 16 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428968360392 140428992244542 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=677260 memory=6944656592455097440 CPUtime=0.19 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 1520 0 0 0 18 1 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428959967656 140428992244542 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=677260 memory=0 CPUtime=0.18 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 1381 0 0 0 18 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428951574968 5157620 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=677260 memory=0 CPUtime=0.17 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 1244 0 0 0 17 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428943182280 5149253 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=677260 memory=0 CPUtime=0.17 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 1158 0 0 0 17 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428934789576 140428992244542 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=677260 memory=0 CPUtime=0.17 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) D 16766 16769 15778 0 -1 4202560 3488 0 0 0 17 0 0 0 20 0 9 0 558523160 693514240 26793 33554432000 4194304 6211132 140728413488640 140428926396872 140428992724567 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 677260 KiB
Current children cumulated memory: 107172 KiB
[startup+0.700657 s]
/proc/loadavg: 5.48 2.23 1.85 9/200 16778
/proc/meminfo: memFree=31620640/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=677260 memory=154956 CPUtime=4.33 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 39864 0 0 0 422 11 0 0 20 0 9 0 558523150 693514240 38739 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 169315 38739 899 493 0 162620 0
[pid=16769/tid=16771] ppid=16766 vsize=677260 memory=2828 CPUtime=0.56 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 2664 0 0 0 56 0 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428985145768 5149706 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=677260 memory=780 CPUtime=0.49 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 3293 0 0 0 47 2 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428976753680 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=677260 memory=620 CPUtime=0.51 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 3364 0 0 0 50 1 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428968360392 5250491 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=677260 memory=1496 CPUtime=0.5 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 3408 0 0 0 49 1 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428959967848 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=677260 memory=1016 CPUtime=0.55 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 4003 0 0 0 54 1 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428951574952 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=677260 memory=1568 CPUtime=0.53 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 1881 0 0 0 53 0 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428943182440 5149244 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=677260 memory=928 CPUtime=0.5 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 3284 0 0 0 49 1 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428934789560 5409485 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=677260 memory=3656 CPUtime=0.52 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 3840 0 0 0 52 0 0 0 20 0 9 0 558523160 693514240 38739 33554432000 4194304 6211132 140728413488640 140428926397032 5008944 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 677260 KiB
Current children cumulated memory: 154956 KiB
[startup+1.50066 s]
/proc/loadavg: 5.48 2.23 1.85 9/200 16778
/proc/meminfo: memFree=31599560/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=677260 memory=177660 CPUtime=10.71 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 72526 0 0 0 1052 19 0 0 20 0 9 0 558523150 693514240 44415 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 169315 44415 899 493 0 162620 0
[pid=16769/tid=16771] ppid=16766 vsize=677260 memory=1947178 CPUtime=1.37 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 5552 0 0 0 136 1 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428985145768 5409493 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=677260 memory=1948826 CPUtime=1.28 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 5748 0 0 0 125 3 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428976753256 5009001 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=677260 memory=0 CPUtime=1.31 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 7534 0 0 0 129 2 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428968360376 5409476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=677260 memory=8243114992657236051 CPUtime=1.31 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 8182 0 0 0 129 2 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428959967688 5149656 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=677260 memory=288291090698863461 CPUtime=1.34 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 10455 0 0 0 131 3 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428951574968 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=677260 memory=7235710566141946944 CPUtime=1.33 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 7895 0 0 0 132 1 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428943182440 5380416 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=677260 memory=279967577863648 CPUtime=1.3 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 5484 0 0 0 128 2 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428934789560 5250256 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=677260 memory=3540028910185289216 CPUtime=1.32 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 7549 0 0 0 131 1 0 0 20 0 9 0 558523160 693514240 44415 33554432000 4194304 6211132 140728413488640 140428926397032 5186256 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 677260 KiB
Current children cumulated memory: 177660 KiB
[startup+3.11066 s]
/proc/loadavg: 5.48 2.23 1.85 9/200 16778
/proc/meminfo: memFree=31576248/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=677260 memory=188600 CPUtime=23.57 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 80060 0 0 0 2336 21 0 0 20 0 9 0 558523150 693514240 47150 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 169315 47150 899 493 0 162620 0
[pid=16769/tid=16771] ppid=16766 vsize=677260 memory=182532 CPUtime=2.97 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 6324 0 0 0 296 1 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428985145960 5150001 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=677260 memory=9592 CPUtime=2.86 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 8450 0 0 0 283 3 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428976753096 5148766 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=677260 memory=177660 CPUtime=2.92 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 7874 0 0 0 290 2 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428968360552 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=677260 memory=1947178 CPUtime=2.92 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 8439 0 0 0 290 2 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428959967848 5158038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=677260 memory=1948826 CPUtime=2.95 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 10630 0 0 0 292 3 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428951575568 5409508 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=677260 memory=274 CPUtime=2.95 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 8204 0 0 0 293 2 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428943182440 5193742 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=677260 memory=270 CPUtime=2.91 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 6577 0 0 0 289 2 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428934789560 5390131 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=677260 memory=272 CPUtime=2.93 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 9435 0 0 0 292 1 0 0 20 0 9 0 558523160 693514240 47150 33554432000 4194304 6211132 140728413488640 140428926397032 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 23.57 s
Current children cumulated vsize: 677260 KiB
Current children cumulated memory: 188600 KiB
[startup+6.30066 s]
/proc/loadavg: 5.76 2.34 1.89 9/200 16778
/proc/meminfo: memFree=31542284/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=233172 CPUtime=49.03 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 190552 0 0 0 4872 31 0 0 20 0 9 0 558523150 685092864 58293 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 58293 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=139988233086591 CPUtime=6.16 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 22260 0 0 0 613 3 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428985145960 5397258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=56 CPUtime=6 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 22107 0 0 0 596 4 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428976753336 5149651 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=200204 CPUtime=6.1 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 23188 0 0 0 607 3 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428968360456 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=0 CPUtime=6.11 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 24907 0 0 0 607 4 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428959967928 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=7305792226149099115 CPUtime=6.14 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 22730 0 0 0 610 4 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428951575224 5158038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=220620 CPUtime=6.14 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 24371 0 0 0 611 3 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428943182440 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=2244 CPUtime=6.09 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 17423 0 0 0 606 3 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428934790472 5149714 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=6656426216303648864 CPUtime=6.11 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 19439 0 0 0 609 2 0 0 20 0 9 0 558523160 685092864 58293 33554432000 4194304 6211132 140728413488640 140428926397112 5380288 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 49.03 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 233172 KiB
[startup+12.5236 s]
# the end of solver process 16769 was just reported to runsolver
# cumulated CPU time of all completed processes: user=98.1597 s, system=0.385967 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40066 s]
/proc/loadavg: 5.76 2.34 1.89 9/200 16778
/proc/meminfo: memFree=31542284/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=233188 CPUtime=49.83 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 191679 0 0 0 4952 31 0 0 20 0 9 0 558523150 685092864 58297 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 58297 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=7956013800115667561 CPUtime=6.26 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 22305 0 0 0 623 3 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428985145960 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=279967577407728 CPUtime=6.1 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 22522 0 0 0 606 4 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428976753336 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=6935054825532540783 CPUtime=6.2 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 23281 0 0 0 617 3 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428968360456 5148683 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=279967578086928 CPUtime=6.21 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 24911 0 0 0 617 4 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428959967928 5156014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=6944613755328037012 CPUtime=6.24 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 23051 0 0 0 620 4 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428951575224 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=4951091520830867572 CPUtime=6.24 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 24381 0 0 0 621 3 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428943182440 5149249 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=6935054825532540783 CPUtime=6.19 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 17460 0 0 0 616 3 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428934790472 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=1188 CPUtime=6.21 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 19641 0 0 0 619 2 0 0 20 0 9 0 558523160 685092864 58297 33554432000 4194304 6211132 140728413488640 140428926397112 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 49.83 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 233188 KiB
[startup+9.60066 s]
/proc/loadavg: 5.76 2.34 1.89 9/200 16778
/proc/meminfo: memFree=31513256/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=250024 CPUtime=75.39 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 238731 0 0 0 7504 35 0 0 20 0 9 0 558523150 685092864 62506 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 62506 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=988 CPUtime=9.46 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 25878 0 0 0 943 3 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428985146040 5409456 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=249980 CPUtime=9.27 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 28306 0 0 0 922 5 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428976753336 5155989 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=239972 CPUtime=9.41 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 30561 0 0 0 937 4 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428968360552 5186484 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=0 CPUtime=9.41 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 33503 0 0 0 937 4 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428959967848 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=242976 CPUtime=9.44 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 30778 0 0 0 939 5 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428951575824 5390088 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=-2961578254468854852 CPUtime=9.43 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 32221 0 0 0 940 3 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428943183120 5193742 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=7300454213093058660 CPUtime=9.4 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 20495 0 0 0 936 4 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428934789816 5409456 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=6935054825532540783 CPUtime=9.41 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 22864 0 0 0 939 2 0 0 20 0 9 0 558523160 685092864 62506 33554432000 4194304 6211132 140728413488640 140428926397112 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 75.39 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 250024 KiB
[startup+11.2007 s]
/proc/loadavg: 6.02 2.45 1.93 9/200 16778
/proc/meminfo: memFree=31512140/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=251248 CPUtime=88.16 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 241934 0 0 0 8781 35 0 0 20 0 9 0 558523150 685092864 62812 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 62812 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=-2895008908443675764 CPUtime=11.06 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 26127 0 0 0 1103 3 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428985146040 5008958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=-4866526891258710369 CPUtime=10.84 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 28561 0 0 0 1079 5 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428976753336 5409497 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=6935054825532540783 CPUtime=11.01 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 31003 0 0 0 1097 4 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428968360552 5151144 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=4420 CPUtime=11.01 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 33730 0 0 0 1097 4 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428959967848 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=6628 CPUtime=11.04 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 31119 0 0 0 1099 5 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428951575824 5149721 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=8833 CPUtime=11.03 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 32611 0 0 0 1100 3 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428943182440 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=3624 CPUtime=10.99 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 21171 0 0 0 1095 4 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428934789816 5149152 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=10500 CPUtime=11.02 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 23485 0 0 0 1099 3 0 0 20 0 9 0 558523160 685092864 62812 33554432000 4194304 6211132 140728413488640 140428926397112 5091749 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 88.16 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 251248 KiB
[startup+12.0007 s]*
/proc/loadavg: 6.02 2.45 1.93 9/200 16778
/proc/meminfo: memFree=31507768/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=256916 CPUtime=94.62 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 248258 0 0 0 9426 36 0 0 20 0 9 0 558523150 685092864 64229 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 64229 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=1398722017469774279 CPUtime=11.87 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 26557 0 0 0 1184 3 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428985146040 5391826 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=0 CPUtime=11.64 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 29333 0 0 0 1159 5 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428976753336 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=0 CPUtime=11.81 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 32538 0 0 0 1177 4 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428968360552 5148716 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=0 CPUtime=11.81 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 34684 0 0 0 1177 4 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428959968384 5409485 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=0 CPUtime=11.85 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 31458 0 0 0 1180 5 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428951575824 5093384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=4158225 CPUtime=11.84 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 32770 0 0 0 1181 3 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428943182520 5409493 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=-1 CPUtime=11.8 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 22603 0 0 0 1176 4 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428934789560 5409493 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=0 CPUtime=11.83 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 24188 0 0 0 1180 3 0 0 20 0 9 0 558523160 685092864 64229 33554432000 4194304 6211132 140728413488640 140428926397112 5158038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 94.62 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 256916 KiB
[startup+12.4007 s]
/proc/loadavg: 6.02 2.45 1.93 9/200 16778
/proc/meminfo: memFree=31507768/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=669036 memory=257408 CPUtime=97.75 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 249613 0 0 0 9739 36 0 0 20 0 9 0 558523150 685092864 64352 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 167259 64352 899 493 0 160564 0
[pid=16769/tid=16771] ppid=16766 vsize=669036 memory=6935054825532540783 CPUtime=12.26 cores=0-7
/proc/16769/task/16771/stat : 16771 (cosoco) R 16766 16769 15778 0 -1 4202560 26558 0 0 0 1223 3 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428985146384 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16772] ppid=16766 vsize=669036 memory=-8989079691362750166 CPUtime=12.03 cores=0-7
/proc/16769/task/16772/stat : 16772 (cosoco) R 16766 16769 15778 0 -1 4202560 30121 0 0 0 1198 5 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428976753336 5149152 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16773] ppid=16766 vsize=669036 memory=-8989079691362750166 CPUtime=12.21 cores=0-7
/proc/16769/task/16773/stat : 16773 (cosoco) R 16766 16769 15778 0 -1 4202560 32926 0 0 0 1217 4 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428968360632 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16774] ppid=16766 vsize=669036 memory=-8989079693030301376 CPUtime=12.21 cores=0-7
/proc/16769/task/16774/stat : 16774 (cosoco) R 16766 16769 15778 0 -1 4202560 34816 0 0 0 1217 4 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428959968384 5409476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16775] ppid=16766 vsize=669036 memory=253844 CPUtime=12.24 cores=0-7
/proc/16769/task/16775/stat : 16775 (cosoco) R 16766 16769 15778 0 -1 4202560 31459 0 0 0 1219 5 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428951575224 5149253 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16776] ppid=16766 vsize=669036 memory=369 CPUtime=12.23 cores=0-7
/proc/16769/task/16776/stat : 16776 (cosoco) R 16766 16769 15778 0 -1 4202560 32792 0 0 0 1220 3 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428943182520 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16777] ppid=16766 vsize=669036 memory=0 CPUtime=12.19 cores=0-7
/proc/16769/task/16777/stat : 16777 (cosoco) R 16766 16769 15778 0 -1 4202560 22610 0 0 0 1215 4 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428934789736 5148716 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
[pid=16769/tid=16778] ppid=16766 vsize=669036 memory=0 CPUtime=12.22 cores=0-7
/proc/16769/task/16778/stat : 16778 (cosoco) R 16766 16769 15778 0 -1 4202560 24204 0 0 0 1219 3 0 0 20 0 9 0 558523160 685092864 64352 33554432000 4194304 6211132 140728413488640 140428926397112 5409476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
Current children cumulated CPU time: 97.75 s
Current children cumulated vsize: 669036 KiB
Current children cumulated memory: 257408 KiB
[startup+12.5005 s]
/proc/loadavg: 6.02 2.45 1.93 9/200 16778
/proc/meminfo: memFree=31507768/32770624 swapFree=66959828/67108860
[pid=16769] ppid=16766 vsize=660840 memory=257980 CPUtime=98.51 cores=0-7
/proc/16769/stat : 16769 (cosoco) S 16766 16769 15778 0 -1 1077944320 250347 0 0 0 9815 36 0 0 20 0 2 0 558523150 676700160 64495 33554432000 4194304 6211132 140728413488640 140728413486896 140429008289527 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 8355840 140728413496337 140728413496429 140728413496429 140728413499342 0
/proc/16769/statm: 165210 64495 901 493 0 158515 0
Current children cumulated CPU time: 98.51 s
Current children cumulated vsize: 660840 KiB
Current children cumulated memory: 257980 KiB
Child status: 0
Real time (s): 12.5237
CPU time (s): 98.5457
CPU user time (s): 98.1597
CPU system time (s): 0.385967
CPU usage (%): 786.875
Max. virtual memory (cumulated for all children) (KiB): 677260
Max. memory (cumulated for all children) (KiB): 257980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.1597
system time used= 0.385967
maximum resident set size= 258016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250373
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= 11874
involuntary context switches= 920
# summary of solver processes directly reported to runsolver:
# pid: 16769
# total CPU time (s): 98.5457
# total CPU user time (s): 98.1597
# total CPU system time (s): 0.385967
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083753 second user time and 0.153618 second system time
The end
Begin job on node127 at 2019-09-30 07:48:23 IDJOB=4409697 IDBENCH=124140 IDSOLVER=2877 FILE ID=node127/4409697-1569822544 RUNJOBID= node127-1569817234-15805 PBS_JOBID= 21705916 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t09-6.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409697-1569822544/watcher-4409697-1569822544 -o /tmp/evaluation-result-4409697-1569822544/solver-4409697-1569822544 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409697-1569822544.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=1335194297 node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.55 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: 31759084 kB MemAvailable: 31815648 kB Buffers: 96824 kB Cached: 287360 kB SwapCached: 45128 kB Active: 269600 kB Inactive: 167312 kB Active(anon): 4796 kB Inactive(anon): 129360 kB Active(file): 264804 kB Inactive(file): 37952 kB Unevictable: 107512 kB Mlocked: 107512 kB SwapTotal: 67108860 kB SwapFree: 66959828 kB Dirty: 2596 kB Writeback: 0 kB AnonPages: 116548 kB Mapped: 26324 kB Shmem: 73072 kB Slab: 168080 kB SReclaimable: 139284 kB SUnreclaim: 28796 kB KernelStack: 3568 kB PageTables: 5668 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539388 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: 138624 kB DirectMap2M: 33406976 kB Free space on /tmp at the end= 62028 MiB End job on node127 at 2019-09-30 07:48:35