Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | OPT | 89 | 63.2033 | 8.11305 |
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-4398437-1568601522.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.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 27.53/3.69 c enable optimization 27.53/3.69 c ========================================[ Problem Statistics ]=========================================== 27.53/3.69 c | 27.53/3.69 c | Parse time : 0.08 s 27.53/3.69 c | 27.53/3.69 c | Variables: 2772 27.53/3.69 c | Domain Sizes: 2..17 27.53/3.69 c | 27.53/3.69 c | Constraints: 415 27.53/3.69 c | Arity: 2..132 -- Binary: 131 27.53/3.69 c | 27.53/3.69 c | Types: 27.53/3.69 c | (X -Y <= k): 131 27.53/3.69 c | Lex: 131 27.53/3.69 c | Sum: 153 27.53/3.69 c | 27.53/3.69 c | Objective: Minimize Sum 27.53/3.69 27.53/3.69 c ========================================================================================================= 27.53/3.69 c Parallel mode: Portfolio 27.53/3.69 c [pFactory][Group N°0] created (threads:8). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 27.53/3.69 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 27.53/3.69 c [pFactory][Group N°0] concurrent mode: enabled. 27.53/3.69 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 27.53/3.69 c [pFactory][Group N°0] task 7 launched on thread 2. 27.53/3.69 c [pFactory][Group N°0] task 6 launched on thread 3. 27.53/3.69 c [pFactory][Group N°0] task 5 launched on thread 4. 27.53/3.69 c [pFactory][Group N°0] task 4 launched on thread 5. 27.53/3.69 c [pFactory][Group N°0] task 3 launched on thread 1. 27.53/3.69 c [pFactory][Group N°0] task 2 launched on thread 6. 27.53/3.69 c [pFactory][Group N°0] task 1 launched on thread 7. 27.53/3.69 c [pFactory][Group N°0] task 0 launched on thread 0. 27.53/3.69 o 114 33.92/4.47 o 113 41.10/5.37 o 112 49.09/6.32 o 111 56.27/7.26 o 110 61.86/7.97 o 89 62.73/8.09 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 5. 62.73/8.09 c [pFactory][Group N°0] Thread N°0 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°1 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°2 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°3 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°4 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°5 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°6 is joined. 62.73/8.09 c [pFactory][Group N°0] Thread N°7 is joined. 62.73/8.09 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4) 62.73/8.09 s OPTIMUM FOUND 62.73/8.09 c call to solver : 4 62.73/8.09 c 62.73/8.09 c restarts : 440 62.73/8.09 c conflicts : 3055 (49 /sec) 62.73/8.09 c decisions : 140224 (2229 /sec) 62.73/8.09 c propagations : 1512870 (24050 /sec) 62.73/8.09 c root propagations : 17688 62.73/8.09 c filter calls : 1375969 (21874 /sec) 62.73/8.09 c useless filter calls : 1260054 (91 %) 62.73/8.09 c Memory used : 621.34 MB 62.73/8.09 c Best bound time (wc) : 7.9601 s 62.73/8.09 c CPU time : 62.9045 s 62.73/8.09 c real time : 8.08833 s 62.73/8.09 62.73/8.09 62.73/8.09 v <instantiation type='solution' cost='89'> 62.73/8.09 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> 62.73/8.09 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 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 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 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 2 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 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 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 62.73/8.09 v </instantiation> 62.73/8.09
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 (15476 MiB free) memory of node 1: 16384 MiB (15597 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398437-1568601522/watcher-4398437-1568601522 -o /tmp/evaluation-result-4398437-1568601522/solver-4398437-1568601522 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398437-1568601522.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=12835, runsolver pid=12832 Current StackSize limit: 8192 KiB [startup+0.100169 s]* /proc/loadavg: 6.11 7.82 8.16 2/195 12836 /proc/meminfo: memFree=31768448/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=55796 CPUtime=0.11 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 14499 0 0 0 10 1 0 0 20 0 9 0 436401702 685092864 13949 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 13949 890 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=-7318199385788347332 CPUtime=0 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) D 12832 12835 11464 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715321334472 139715328432958 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=732369861044538341 CPUtime=0 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715312941672 139715328432958 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=139722707084928 CPUtime=0 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715304549064 139715328432958 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=0 CPUtime=0 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715296156264 139715328432958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=0 CPUtime=0 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715287763656 139715328432958 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=0 CPUtime=0 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715279370856 139715328432958 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=-1 CPUtime=0 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715270978248 139715328432958 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=0 CPUtime=0 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 9 0 436401712 685092864 13949 33554432000 4194304 6211092 140737365928464 139715262585544 139715328437221 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 0.11 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 55796 KiB [startup+0.209902 s]* /proc/loadavg: 6.11 7.82 8.16 4/203 12844 /proc/meminfo: memFree=31751080/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=677260 memory=77220 CPUtime=0.6 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 20252 0 0 0 57 3 0 0 20 0 9 0 436401702 693514240 19305 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 169315 19305 898 493 0 162620 0 [pid=12835/tid=12837] ppid=12832 vsize=677260 memory=-3398145943129763647 CPUtime=0.04 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) D 12832 12835 11464 0 -1 4202560 666 0 0 0 4 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715321334408 5302326 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=677260 memory=279445308090104 CPUtime=0.07 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) D 12832 12835 11464 0 -1 4202560 849 0 0 0 7 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715312941480 139715328912983 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=677260 memory=139722707084928 CPUtime=0.06 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) D 12832 12835 11464 0 -1 4202560 888 0 0 0 6 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715304548776 139715328432958 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=677260 memory=0 CPUtime=0.06 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 817 0 0 0 6 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715296156072 139715328432958 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=677260 memory=0 CPUtime=0.04 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 694 0 0 0 4 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715287763984 5302326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=677260 memory=0 CPUtime=0.06 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 893 0 0 0 6 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715279370696 5185108 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=677260 memory=-1 CPUtime=0.06 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 754 0 0 0 6 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715270977960 139715328432958 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=677260 memory=0 CPUtime=0.06 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 715 0 0 0 6 0 0 0 20 0 9 0 436401712 693514240 19371 33554432000 4194304 6211092 140737365928464 139715262585448 139715328432958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 677260 KiB Current children cumulated memory: 77220 KiB [startup+0.311079 s]* /proc/loadavg: 6.11 7.82 8.16 9/203 12844 /proc/meminfo: memFree=31719792/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=677260 memory=105468 CPUtime=1.36 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 27435 0 0 0 130 6 0 0 20 0 9 0 436401702 693514240 26367 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 169315 26367 898 493 0 162620 0 [pid=12835/tid=12837] ppid=12832 vsize=677260 memory=14964 CPUtime=0.14 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 2100 0 0 0 14 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715321334216 139715328432958 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=677260 memory=7959526863154894729 CPUtime=0.15 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 1139 0 0 0 15 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715312941512 5157034 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=677260 memory=139722707084928 CPUtime=0.16 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 1299 0 0 0 16 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715304548808 139715328432958 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=677260 memory=0 CPUtime=0.16 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 1373 0 0 0 16 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715296156104 139715328432958 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=677260 memory=0 CPUtime=0.13 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 1630 0 0 0 13 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715287763560 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=677260 memory=0 CPUtime=0.15 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 1246 0 0 0 15 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715279370696 139715328432958 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=677260 memory=0 CPUtime=0.15 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 1341 0 0 0 15 0 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715270977992 139715328432958 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=677260 memory=0 CPUtime=0.16 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 3216 0 0 0 15 1 0 0 20 0 9 0 436401712 693514240 26367 33554432000 4194304 6211092 140737365928464 139715262585256 139715328432958 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 1.36 s Current children cumulated vsize: 677260 KiB Current children cumulated memory: 105468 KiB [startup+0.701083 s] /proc/loadavg: 6.11 7.82 8.16 9/203 12844 /proc/meminfo: memFree=31679500/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=677260 memory=154836 CPUtime=4.38 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 39712 0 0 0 428 10 0 0 20 0 9 0 436401702 693514240 38709 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 169315 38709 899 493 0 162620 0 [pid=12835/tid=12837] ppid=12832 vsize=677260 memory=139727002052223 CPUtime=0.52 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 2393 0 0 0 52 0 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715321334216 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=677260 memory=30448 CPUtime=0.51 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 3293 0 0 0 50 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715312942208 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=677260 memory=984 CPUtime=0.53 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 3376 0 0 0 53 0 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715304548792 5155341 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=677260 memory=0 CPUtime=0.54 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 3416 0 0 0 53 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715296156264 5151003 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=677260 memory=0 CPUtime=0.51 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 3987 0 0 0 50 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715287763464 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=677260 memory=0 CPUtime=0.54 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 1985 0 0 0 53 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715279370856 5092478 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=677260 memory=0 CPUtime=0.53 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 3414 0 0 0 52 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715270978688 5009426 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=677260 memory=1052 CPUtime=0.54 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 3722 0 0 0 53 1 0 0 20 0 9 0 436401712 693514240 38709 33554432000 4194304 6211092 140737365928464 139715262585272 5092463 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 4.38 s Current children cumulated vsize: 677260 KiB Current children cumulated memory: 154836 KiB [startup+1.50109 s] /proc/loadavg: 6.26 7.82 8.16 9/203 12844 /proc/meminfo: memFree=31664008/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=677260 memory=178712 CPUtime=10.77 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 73005 0 0 0 1060 17 0 0 20 0 9 0 436401702 693514240 44678 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 169315 44678 899 493 0 162620 0 [pid=12835/tid=12837] ppid=12832 vsize=677260 memory=154836 CPUtime=1.31 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 5985 0 0 0 131 0 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715321334216 5155807 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=677260 memory=30448 CPUtime=1.29 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 6196 0 0 0 128 1 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715312941576 5409449 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=677260 memory=984 CPUtime=1.34 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 6910 0 0 0 133 1 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715304548776 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=677260 memory=0 CPUtime=1.34 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 8077 0 0 0 132 2 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715296156104 5193696 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=677260 memory=-7812193691855986592 CPUtime=1.31 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 8170 0 0 0 129 2 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715287763384 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=677260 memory=3624 CPUtime=1.34 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 8712 0 0 0 131 3 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715279370856 5409457 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=677260 memory=30448 CPUtime=1.33 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 6574 0 0 0 131 2 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715270977960 5149648 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=677260 memory=0 CPUtime=1.33 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 8255 0 0 0 132 1 0 0 20 0 9 0 436401712 693514240 44678 33554432000 4194304 6211092 140737365928464 139715262585448 5380267 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 10.77 s Current children cumulated vsize: 677260 KiB Current children cumulated memory: 178712 KiB [startup+3.11008 s] /proc/loadavg: 6.26 7.82 8.16 9/203 12844 /proc/meminfo: memFree=31629192/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=677260 memory=195232 CPUtime=23.61 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 80474 0 0 0 2342 19 0 0 20 0 9 0 436401702 693514240 48808 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 169315 48808 899 493 0 162620 0 [pid=12835/tid=12837] ppid=12832 vsize=677260 memory=0 CPUtime=2.93 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 7602 0 0 0 292 1 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715321334200 5409444 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=677260 memory=4986457031815 CPUtime=2.87 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 6868 0 0 0 286 1 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715312941672 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=677260 memory=194336 CPUtime=2.94 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 7371 0 0 0 293 1 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715304548968 139715328434932 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=677260 memory=0 CPUtime=2.94 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 8579 0 0 0 292 2 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715296156264 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=677260 memory=0 CPUtime=2.92 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 10401 0 0 0 290 2 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715287763560 5149221 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=677260 memory=0 CPUtime=2.95 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 8882 0 0 0 292 3 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715279370680 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=677260 memory=6226623839902854502 CPUtime=2.94 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 7063 0 0 0 292 2 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715270977992 5149136 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=677260 memory=5787213827062911331 CPUtime=2.95 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 9582 0 0 0 293 2 0 0 20 0 9 0 436401712 693514240 48808 33554432000 4194304 6211092 140737365928464 139715262585352 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 23.61 s Current children cumulated vsize: 677260 KiB Current children cumulated memory: 195232 KiB [startup+6.30108 s] /proc/loadavg: 6.48 7.84 8.16 9/203 12844 /proc/meminfo: memFree=31615772/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=207296 CPUtime=49.09 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 151481 0 0 0 4884 25 0 0 20 0 9 0 436401702 685092864 51824 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 51824 899 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=139727002052223 CPUtime=6.11 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 15437 0 0 0 610 1 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715321334800 5380384 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=201464 CPUtime=6.03 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 13114 0 0 0 601 2 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715312941752 5149682 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=202264 CPUtime=6.13 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 16466 0 0 0 611 2 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715304548792 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=0 CPUtime=6.13 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 21878 0 0 0 610 3 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715296156944 5093384 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=0 CPUtime=6.11 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 20944 0 0 0 608 3 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715287764096 5149674 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=139722601062053 CPUtime=6.13 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 19281 0 0 0 610 3 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715279371280 5091744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=11073 CPUtime=6.13 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 12526 0 0 0 610 3 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715270978480 5409457 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=-6438556831899408259 CPUtime=6.13 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 17709 0 0 0 611 2 0 0 20 0 9 0 436401712 685092864 51824 33554432000 4194304 6211092 140737365928464 139715262585984 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 49.09 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 207296 KiB [startup+8.11301 s] # the end of solver process 12835 was just reported to runsolver # cumulated CPU time of all completed processes: user=62.9054 s, system=0.297911 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40108 s] /proc/loadavg: 6.48 7.84 8.16 9/203 12844 /proc/meminfo: memFree=31615772/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=207332 CPUtime=49.89 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 151531 0 0 0 4964 25 0 0 20 0 9 0 436401702 685092864 51833 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 51833 899 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=2048 CPUtime=6.21 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 15437 0 0 0 620 1 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715321334800 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=1240 CPUtime=6.13 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 13117 0 0 0 611 2 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715312941752 5391309 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=3996 CPUtime=6.23 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 16467 0 0 0 621 2 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715304548792 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=0 CPUtime=6.23 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 21909 0 0 0 620 3 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715296156944 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=3184237642677202128 CPUtime=6.21 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 20945 0 0 0 618 3 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715287764096 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=3471342118922071280 CPUtime=6.23 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 19295 0 0 0 620 3 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715279371280 5091904 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=8101393499970654186 CPUtime=6.23 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 12526 0 0 0 620 3 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715270978480 5193696 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=139727002052223 CPUtime=6.23 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 17709 0 0 0 621 2 0 0 20 0 9 0 436401712 685092864 51833 33554432000 4194304 6211092 140737365928464 139715262585984 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 49.89 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 207332 KiB [startup+7.20108 s] /proc/loadavg: 6.48 7.84 8.16 9/203 12844 /proc/meminfo: memFree=31615276/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=216456 CPUtime=56.27 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 157151 0 0 0 5601 26 0 0 20 0 9 0 436401702 685092864 54114 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 54114 899 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=0 CPUtime=7.01 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 16070 0 0 0 700 1 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715321334200 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=279445202462400 CPUtime=6.92 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 17417 0 0 0 689 3 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715312941480 5193696 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=6935054825532540783 CPUtime=7.03 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 16477 0 0 0 701 2 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715304549504 5092478 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=7522514853951717479 CPUtime=7.03 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 21948 0 0 0 700 3 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715296156944 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=7144996238867837489 CPUtime=7.01 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 21044 0 0 0 698 3 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715287764096 5409444 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=7144996200229909041 CPUtime=7.03 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 19378 0 0 0 700 3 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715279370680 5093384 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=7144996234572870193 CPUtime=7.03 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 12620 0 0 0 700 3 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715270978480 5409424 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=7144996238867837489 CPUtime=7.03 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 18071 0 0 0 701 2 0 0 20 0 9 0 436401712 685092864 54114 33554432000 4194304 6211092 140737365928464 139715262585984 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 56.27 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 216456 KiB [startup+7.60108 s] /proc/loadavg: 6.48 7.84 8.16 9/203 12844 /proc/meminfo: memFree=31615276/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=217964 CPUtime=59.47 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 158512 0 0 0 5921 26 0 0 20 0 9 0 436401702 685092864 54491 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 54491 899 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=1240 CPUtime=7.41 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 16220 0 0 0 740 1 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715321334912 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=3996 CPUtime=7.31 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 17562 0 0 0 728 3 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715312942096 5148687 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=716 CPUtime=7.43 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 16478 0 0 0 741 2 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715304549504 5155800 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=776 CPUtime=7.43 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 22092 0 0 0 740 3 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715296156704 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=1052 CPUtime=7.41 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 21215 0 0 0 738 3 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715287763984 5409465 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=2832 CPUtime=7.43 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 19382 0 0 0 740 3 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715279370680 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=30448 CPUtime=7.43 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 13185 0 0 0 740 3 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715270978592 5409476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=984 CPUtime=7.43 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 18252 0 0 0 741 2 0 0 20 0 9 0 436401712 685092864 54491 33554432000 4194304 6211092 140737365928464 139715262585984 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 59.47 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 217964 KiB [startup+8.00108 s]* /proc/loadavg: 6.48 7.84 8.16 9/203 12844 /proc/meminfo: memFree=31594496/32770624 swapFree=66970396/67108860 [pid=12835] ppid=12832 vsize=669036 memory=230524 CPUtime=62.73 cores=0-7 /proc/12835/stat : 12835 (cosoco) S 12832 12835 11464 0 -1 1077944320 163128 0 0 0 6246 27 0 0 20 0 9 0 436401702 685092864 57631 33554432000 4194304 6211092 140737365928464 140737365926720 139715344477943 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 /proc/12835/statm: 167259 57631 899 493 0 160564 0 [pid=12835/tid=12837] ppid=12832 vsize=669036 memory=139723876074770 CPUtime=7.82 cores=0-7 /proc/12835/task/12837/stat : 12837 (cosoco) R 12832 12835 11464 0 -1 4202560 16243 0 0 0 781 1 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715321334912 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12838] ppid=12832 vsize=669036 memory=139723876074849 CPUtime=7.71 cores=0-7 /proc/12835/task/12838/stat : 12838 (cosoco) R 12832 12835 11464 0 -1 4202560 17627 0 0 0 768 3 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715312942208 5092288 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12839] ppid=12832 vsize=669036 memory=-7003737579269690708 CPUtime=7.84 cores=0-7 /proc/12835/task/12839/stat : 12839 (cosoco) R 12832 12835 11464 0 -1 4202560 17865 0 0 0 782 2 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715304548968 5091082 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12840] ppid=12832 vsize=669036 memory=288230596050944315 CPUtime=7.84 cores=0-7 /proc/12835/task/12840/stat : 12840 (cosoco) R 12832 12835 11464 0 -1 4202560 22264 0 0 0 781 3 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715296156800 5409444 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12841] ppid=12832 vsize=669036 memory=15255943717849727 CPUtime=7.83 cores=0-7 /proc/12835/task/12841/stat : 12841 (cosoco) R 12832 12835 11464 0 -1 4202560 22896 0 0 0 779 4 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715287764000 5409461 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12842] ppid=12832 vsize=669036 memory=6655300316396806240 CPUtime=7.84 cores=0-7 /proc/12835/task/12842/stat : 12842 (cosoco) R 12832 12835 11464 0 -1 4202560 19564 0 0 0 781 3 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715279371280 5409444 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12843] ppid=12832 vsize=669036 memory=6943526294502006880 CPUtime=7.84 cores=0-7 /proc/12835/task/12843/stat : 12843 (cosoco) R 12832 12835 11464 0 -1 4202560 14201 0 0 0 781 3 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715270978152 5148684 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 [pid=12835/tid=12844] ppid=12832 vsize=669036 memory=2838973382657 CPUtime=7.84 cores=0-7 /proc/12835/task/12844/stat : 12844 (cosoco) R 12832 12835 11464 0 -1 4202560 18342 0 0 0 782 2 0 0 20 0 9 0 436401712 685092864 57631 33554432000 4194304 6211092 140737365928464 139715262585528 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 16191488 140737365935121 140737365935213 140737365935213 140737365938126 0 Current children cumulated CPU time: 62.73 s Current children cumulated vsize: 669036 KiB Current children cumulated memory: 230524 KiB Child status: 0 Real time (s): 8.11305 CPU time (s): 63.2033 CPU user time (s): 62.9054 CPU system time (s): 0.297911 CPU usage (%): 779.032 Max. virtual memory (cumulated for all children) (KiB): 677260 Max. memory (cumulated for all children) (KiB): 230524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 62.9054 system time used= 0.297911 maximum resident set size= 234168 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 164037 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= 9477 involuntary context switches= 642 # summary of solver processes directly reported to runsolver: # pid: 12835 # total CPU time (s): 63.2033 # total CPU user time (s): 62.9054 # total CPU system time (s): 0.297911 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.063455 second user time and 0.123103 second system time The end
Begin job on node135 at 2019-09-16 04:38:01 IDJOB=4398437 IDBENCH=124140 IDSOLVER=2851 FILE ID=node135/4398437-1568601522 RUNJOBID= node135-1568595834-11491 PBS_JOBID= 21703393 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O 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-4398437-1568601522/watcher-4398437-1568601522 -o /tmp/evaluation-result-4398437-1568601522/solver-4398437-1568601522 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node135-1568595834-11491 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398437-1568601522.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 21aab71f6f536658a77b49f0e4f1f876 RANDOM SEED=1015838831 node135.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.76 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.76 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.76 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.76 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: 31819716 kB MemAvailable: 31862036 kB Buffers: 25908 kB Cached: 303872 kB SwapCached: 32744 kB Active: 169728 kB Inactive: 197520 kB Active(anon): 4036 kB Inactive(anon): 76500 kB Active(file): 165692 kB Inactive(file): 121020 kB Unevictable: 109492 kB Mlocked: 109492 kB SwapTotal: 67108860 kB SwapFree: 66970396 kB Dirty: 3064 kB Writeback: 0 kB AnonPages: 135224 kB Mapped: 41728 kB Shmem: 34452 kB Slab: 173704 kB SReclaimable: 142888 kB SUnreclaim: 30816 kB KernelStack: 3776 kB PageTables: 5576 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506032 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 92160 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 134528 kB DirectMap2M: 33411072 kB Free space on /tmp at the end= 61368 MiB End job on node135 at 2019-09-16 04:38:10