Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | OPT | 88 | 5.70484 | 0.778647 |
Name | Cutstock/Cutstock-zinc-s1/ Cutstock-t13-3.xml |
MD5SUM | 0fab81179fd404e9cd210665e915a325 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 88 |
Best CPU time to get the best result obtained on this benchmark | 3.4001 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1111 |
Number of constraints | 113 |
Number of domains | 9 |
Minimum domain size | 2 |
Maximum domain size | 17 |
Distribution of domain sizes | [{"size":2,"count":101},{"size":6,"count":101},{"size":7,"count":101},{"size":10,"count":303},{"size":11,"count":101},{"size":12,"count":101},{"size":13,"count":101},{"size":14,"count":101},{"size":17,"count":101}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":1111}] |
Minimum constraint arity | 11 |
Maximum constraint arity | 1010 |
Distribution of constraint arities | [{"arity":11,"count":101},{"arity":101,"count":11},{"arity":1010,"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":111}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4409485-1569822696.xml 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 0.00/0.03 0 2.12/0.38 c enable optimization 2.12/0.38 c ========================================[ Problem Statistics ]=========================================== 2.12/0.38 c | 2.12/0.38 c | Parse time : 0.04 s 2.12/0.38 c | 2.12/0.38 c | Variables: 1111 2.12/0.38 c | Domain Sizes: 2..17 2.12/0.38 c | 2.12/0.38 c | Constraints: 312 2.12/0.38 c | Arity: 2..101 -- Binary: 100 2.12/0.38 c | 2.12/0.38 c | Types: 2.12/0.38 c | (X -Y <= k): 100 2.12/0.38 c | Lex: 100 2.12/0.38 c | Sum: 112 2.12/0.38 c | 2.12/0.38 c | Objective: Minimize Sum 2.12/0.38 2.12/0.38 c ========================================================================================================= 2.12/0.38 c Parallel mode: Portfolio 2.12/0.38 c [pFactory][Group N°0] created (threads:8). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 2.12/0.38 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 2.12/0.38 c [pFactory][Group N°0] concurrent mode: enabled. 2.12/0.38 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 2.12/0.38 c [pFactory][Group N°0] task 7 launched on thread 7. 2.12/0.38 c [pFactory][Group N°0] task 6 launched on thread 1. 2.12/0.38 c [pFactory][Group N°0] task 5 launched on thread 3. 2.12/0.38 c [pFactory][Group N°0] task 4 launched on thread 0. 2.12/0.38 c [pFactory][Group N°0] task 3 launched on thread 4. 2.12/0.38 c [pFactory][Group N°0] task 2 launched on thread 5. 2.12/0.38 c [pFactory][Group N°0] task 1 launched on thread 6. 2.12/0.38 c [pFactory][Group N°0] task 0 launched on thread 2. 2.12/0.38 o 90 2.91/0.43 o 89 2.91/0.48 o 88 5.14/0.77 c [pFactory][Group N°0] concurent mode: thread 3 has won with the task 5. 5.14/0.77 c [pFactory][Group N°0] Thread N°0 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°1 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°2 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°3 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°4 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°5 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°6 is joined. 5.14/0.77 c [pFactory][Group N°0] Thread N°7 is joined. 5.14/0.77 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°3) 5.14/0.77 s OPTIMUM FOUND 5.14/0.77 c call to solver : 2 5.14/0.77 c 5.14/0.77 c restarts : 138 5.14/0.77 c conflicts : 1070 (190 /sec) 5.14/0.77 c decisions : 29829 (5289 /sec) 5.14/0.77 c propagations : 208342 (36938 /sec) 5.14/0.77 c root propagations : 8686 5.14/0.77 c filter calls : 231004 (40956 /sec) 5.14/0.77 c useless filter calls : 203494 (88 %) 5.14/0.77 c Memory used : 587.73 MB 5.14/0.77 c Best bound time (wc) : 0.483135 s 5.14/0.77 c CPU time : 5.6402 s 5.14/0.77 c real time : 0.767653 s 5.14/0.77 5.14/0.77 5.14/0.77 v <instantiation type='solution' cost='88'> 5.14/0.77 v <list>p[0] p[100] p[10] p[11] p[12] 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][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][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[10][0] 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[11][0] 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[12][0] 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[13][0] 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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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> 5.14/0.77 v <values>1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 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 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 </values> 5.14/0.77 v </instantiation> 5.14/0.77
OK 88
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 (14202 MiB free) memory of node 1: 16384 MiB (15576 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409485-1569822696/watcher-4409485-1569822696 -o /tmp/evaluation-result-4409485-1569822696/solver-4409485-1569822696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409485-1569822696.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 Current StackSize limit: 8192 KiB solver pid=32429, runsolver pid=32426 [startup+0.10068 s]* /proc/loadavg: 1.00 1.01 1.43 9/200 32438 /proc/meminfo: memFree=30462288/32770624 swapFree=66986684/67108860 [pid=32429] ppid=32426 vsize=638744 memory=37736 CPUtime=0.47 cores=0-7 /proc/32429/stat : 32429 (cosoco) S 32426 32429 31775 0 -1 1077944320 10190 0 0 0 45 2 0 0 20 0 9 0 558526006 654073856 9434 33554432000 4194304 6211132 140729114172624 140729114170880 140553254870775 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 /proc/32429/statm: 159686 9434 898 493 0 152991 0 [pid=32429/tid=32431] ppid=32426 vsize=638744 memory=4134692831991786133 CPUtime=0.05 cores=0-7 /proc/32429/task/32431/stat : 32431 (cosoco) R 32426 32429 31775 0 -1 4202560 868 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553231727336 5155377 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32432] ppid=32426 vsize=638744 memory=0 CPUtime=0.05 cores=0-7 /proc/32429/task/32432/stat : 32432 (cosoco) R 32426 32429 31775 0 -1 4202560 355 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553223334928 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32433] ppid=32426 vsize=638744 memory=140176235050624 CPUtime=0.05 cores=0-7 /proc/32429/task/32433/stat : 32433 (cosoco) R 32426 32429 31775 0 -1 4202560 679 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553214941624 5149706 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32434] ppid=32426 vsize=638744 memory=0 CPUtime=0.04 cores=0-7 /proc/32429/task/32434/stat : 32434 (cosoco) R 32426 32429 31775 0 -1 4202560 942 0 0 0 4 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553206548936 5397255 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32435] ppid=32426 vsize=638744 memory=0 CPUtime=0.05 cores=0-7 /proc/32429/task/32435/stat : 32435 (cosoco) R 32426 32429 31775 0 -1 4202560 387 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553198156232 5149224 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32436] ppid=32426 vsize=638744 memory=0 CPUtime=0.05 cores=0-7 /proc/32429/task/32436/stat : 32436 (cosoco) R 32426 32429 31775 0 -1 4202560 353 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553189763528 5148716 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32437] ppid=32426 vsize=638744 memory=-1 CPUtime=0.05 cores=0-7 /proc/32429/task/32437/stat : 32437 (cosoco) R 32426 32429 31775 0 -1 4202560 435 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553181370984 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32438] ppid=32426 vsize=638744 memory=0 CPUtime=0.05 cores=0-7 /proc/32429/task/32438/stat : 32438 (cosoco) R 32426 32429 31775 0 -1 4202560 648 0 0 0 5 0 0 0 20 0 9 0 558526011 654073856 9434 33554432000 4194304 6211132 140729114172624 140553172978104 140553238825790 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 Current children cumulated CPU time: 0.47 s Current children cumulated vsize: 638744 KiB Current children cumulated memory: 37736 KiB [startup+0.210682 s]* /proc/loadavg: 1.00 1.01 1.43 9/200 32438 /proc/meminfo: memFree=30451128/32770624 swapFree=66986684/67108860 [pid=32429] ppid=32426 vsize=638744 memory=48560 CPUtime=1.33 cores=0-7 /proc/32429/stat : 32429 (cosoco) S 32426 32429 31775 0 -1 1077944320 12918 0 0 0 130 3 0 0 20 0 9 0 558526006 654073856 12140 33554432000 4194304 6211132 140729114172624 140729114170880 140553254870775 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 /proc/32429/statm: 159686 12140 898 493 0 152991 0 [pid=32429/tid=32431] ppid=32426 vsize=638744 memory=8316850467074736180 CPUtime=0.16 cores=0-7 /proc/32429/task/32431/stat : 32431 (cosoco) R 32426 32429 31775 0 -1 4202560 1145 0 0 0 16 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553231727048 5148719 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32432] ppid=32426 vsize=638744 memory=1898493 CPUtime=0.15 cores=0-7 /proc/32429/task/32432/stat : 32432 (cosoco) R 32426 32429 31775 0 -1 4202560 993 0 0 0 15 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553223334344 5155369 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32433] ppid=32426 vsize=638744 memory=3545371595284821664 CPUtime=0.15 cores=0-7 /proc/32429/task/32433/stat : 32433 (cosoco) R 32426 32429 31775 0 -1 4202560 804 0 0 0 15 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553214941800 5091739 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32434] ppid=32426 vsize=638744 memory=-1 CPUtime=0.14 cores=0-7 /proc/32429/task/32434/stat : 32434 (cosoco) R 32426 32429 31775 0 -1 4202560 1275 0 0 0 14 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553206548936 5149985 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32435] ppid=32426 vsize=638744 memory=0 CPUtime=0.16 cores=0-7 /proc/32429/task/32435/stat : 32435 (cosoco) R 32426 32429 31775 0 -1 4202560 824 0 0 0 16 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553198156296 5148716 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32436] ppid=32426 vsize=638744 memory=0 CPUtime=0.15 cores=0-7 /proc/32429/task/32436/stat : 32436 (cosoco) R 32426 32429 31775 0 -1 4202560 741 0 0 0 15 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553189763528 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32437] ppid=32426 vsize=638744 memory=-1 CPUtime=0.16 cores=0-7 /proc/32429/task/32437/stat : 32437 (cosoco) R 32426 32429 31775 0 -1 4202560 587 0 0 0 16 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553181370824 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32438] ppid=32426 vsize=638744 memory=0 CPUtime=0.16 cores=0-7 /proc/32429/task/32438/stat : 32438 (cosoco) R 32426 32429 31775 0 -1 4202560 1012 0 0 0 16 0 0 0 20 0 9 0 558526011 654073856 12140 33554432000 4194304 6211132 140729114172624 140553172978104 5148711 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 Current children cumulated CPU time: 1.33 s Current children cumulated vsize: 638744 KiB Current children cumulated memory: 48560 KiB [startup+0.310681 s]* /proc/loadavg: 1.00 1.01 1.43 9/200 32438 /proc/meminfo: memFree=30449260/32770624 swapFree=66986684/67108860 [pid=32429] ppid=32426 vsize=638744 memory=49616 CPUtime=2.12 cores=0-7 /proc/32429/stat : 32429 (cosoco) S 32426 32429 31775 0 -1 1077944320 13164 0 0 0 209 3 0 0 20 0 9 0 558526006 654073856 12404 33554432000 4194304 6211132 140729114172624 140729114170880 140553254870775 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 /proc/32429/statm: 159686 12404 898 493 0 152991 0 [pid=32429/tid=32431] ppid=32426 vsize=638744 memory=6935054825532540783 CPUtime=0.26 cores=0-7 /proc/32429/task/32431/stat : 32431 (cosoco) R 32426 32429 31775 0 -1 4202560 1145 0 0 0 26 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553231727048 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32432] ppid=32426 vsize=638744 memory=0 CPUtime=0.26 cores=0-7 /proc/32429/task/32432/stat : 32432 (cosoco) R 32426 32429 31775 0 -1 4202560 993 0 0 0 25 1 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553223334344 5149253 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32433] ppid=32426 vsize=638744 memory=0 CPUtime=0.25 cores=0-7 /proc/32429/task/32433/stat : 32433 (cosoco) R 32426 32429 31775 0 -1 4202560 826 0 0 0 25 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553214941800 5149718 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32434] ppid=32426 vsize=638744 memory=0 CPUtime=0.23 cores=0-7 /proc/32429/task/32434/stat : 32434 (cosoco) R 32426 32429 31775 0 -1 4202560 1281 0 0 0 23 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553206548904 5149224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32435] ppid=32426 vsize=638744 memory=0 CPUtime=0.26 cores=0-7 /proc/32429/task/32435/stat : 32435 (cosoco) R 32426 32429 31775 0 -1 4202560 824 0 0 0 26 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553198156296 5150989 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32436] ppid=32426 vsize=638744 memory=0 CPUtime=0.25 cores=0-7 /proc/32429/task/32436/stat : 32436 (cosoco) R 32426 32429 31775 0 -1 4202560 957 0 0 0 25 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553189763688 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32437] ppid=32426 vsize=638744 memory=0 CPUtime=0.25 cores=0-7 /proc/32429/task/32437/stat : 32437 (cosoco) R 32426 32429 31775 0 -1 4202560 589 0 0 0 25 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553181370984 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32438] ppid=32426 vsize=638744 memory=0 CPUtime=0.26 cores=0-7 /proc/32429/task/32438/stat : 32438 (cosoco) R 32426 32429 31775 0 -1 4202560 1012 0 0 0 26 0 0 0 20 0 9 0 558526011 654073856 12404 33554432000 4194304 6211132 140729114172624 140553172978104 5380288 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 Current children cumulated CPU time: 2.12 s Current children cumulated vsize: 638744 KiB Current children cumulated memory: 49616 KiB [startup+0.700681 s] /proc/loadavg: 1.00 1.01 1.43 9/200 32438 /proc/meminfo: memFree=30442192/32770624 swapFree=66986684/67108860 [pid=32429] ppid=32426 vsize=635132 memory=56416 CPUtime=5.14 cores=0-7 /proc/32429/stat : 32429 (cosoco) S 32426 32429 31775 0 -1 1077944320 15623 0 0 0 509 5 0 0 20 0 9 0 558526006 650375168 14104 33554432000 4194304 6211132 140729114172624 140729114170880 140553254870775 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 /proc/32429/statm: 158783 14104 898 493 0 152088 0 [pid=32429/tid=32431] ppid=32426 vsize=635132 memory=3960 CPUtime=0.64 cores=0-7 /proc/32429/task/32431/stat : 32431 (cosoco) R 32426 32429 31775 0 -1 4202560 1259 0 0 0 64 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553231727048 5186344 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32432] ppid=32426 vsize=635132 memory=1228 CPUtime=0.64 cores=0-7 /proc/32429/task/32432/stat : 32432 (cosoco) R 32426 32429 31775 0 -1 4202560 1379 0 0 0 62 2 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553223334504 5186592 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32433] ppid=32426 vsize=635132 memory=6252 CPUtime=0.63 cores=0-7 /proc/32429/task/32433/stat : 32433 (cosoco) R 32426 32429 31775 0 -1 4202560 1214 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553214941624 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32434] ppid=32426 vsize=635132 memory=7552 CPUtime=0.59 cores=0-7 /proc/32429/task/32434/stat : 32434 (cosoco) R 32426 32429 31775 0 -1 4202560 1457 0 0 0 59 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553206549096 5148882 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32435] ppid=32426 vsize=635132 memory=2832 CPUtime=0.63 cores=0-7 /proc/32429/task/32435/stat : 32435 (cosoco) R 32426 32429 31775 0 -1 4202560 1217 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553198157128 5392548 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32436] ppid=32426 vsize=635132 memory=924 CPUtime=0.63 cores=0-7 /proc/32429/task/32436/stat : 32436 (cosoco) R 32426 32429 31775 0 -1 4202560 1319 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553189763688 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32437] ppid=32426 vsize=635132 memory=1760 CPUtime=0.63 cores=0-7 /proc/32429/task/32437/stat : 32437 (cosoco) R 32426 32429 31775 0 -1 4202560 1151 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553181371520 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32438] ppid=32426 vsize=635132 memory=1440 CPUtime=0.64 cores=0-7 /proc/32429/task/32438/stat : 32438 (cosoco) R 32426 32429 31775 0 -1 4202560 1090 0 0 0 64 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553172978280 5149055 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 Current children cumulated CPU time: 5.14 s Current children cumulated vsize: 635132 KiB Current children cumulated memory: 56416 KiB [startup+0.778605 s] # the end of solver process 32429 was just reported to runsolver # cumulated CPU time of all completed processes: user=5.64078 s, system=0.064054 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.700681 s] /proc/loadavg: 1.00 1.01 1.43 9/200 32438 /proc/meminfo: memFree=30442192/32770624 swapFree=66986684/67108860 [pid=32429] ppid=32426 vsize=635132 memory=56416 CPUtime=5.14 cores=0-7 /proc/32429/stat : 32429 (cosoco) S 32426 32429 31775 0 -1 1077944320 15623 0 0 0 509 5 0 0 20 0 9 0 558526006 650375168 14104 33554432000 4194304 6211132 140729114172624 140729114170880 140553254870775 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 /proc/32429/statm: 158783 14104 898 493 0 152088 0 [pid=32429/tid=32431] ppid=32426 vsize=635132 memory=3960 CPUtime=0.64 cores=0-7 /proc/32429/task/32431/stat : 32431 (cosoco) R 32426 32429 31775 0 -1 4202560 1259 0 0 0 64 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553231727048 5186344 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32432] ppid=32426 vsize=635132 memory=1228 CPUtime=0.64 cores=0-7 /proc/32429/task/32432/stat : 32432 (cosoco) R 32426 32429 31775 0 -1 4202560 1379 0 0 0 62 2 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553223334504 5186592 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32433] ppid=32426 vsize=635132 memory=6252 CPUtime=0.63 cores=0-7 /proc/32429/task/32433/stat : 32433 (cosoco) R 32426 32429 31775 0 -1 4202560 1214 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553214941624 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32434] ppid=32426 vsize=635132 memory=7552 CPUtime=0.59 cores=0-7 /proc/32429/task/32434/stat : 32434 (cosoco) R 32426 32429 31775 0 -1 4202560 1457 0 0 0 59 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553206549096 5148882 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32435] ppid=32426 vsize=635132 memory=2832 CPUtime=0.63 cores=0-7 /proc/32429/task/32435/stat : 32435 (cosoco) R 32426 32429 31775 0 -1 4202560 1217 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553198157128 5392548 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32436] ppid=32426 vsize=635132 memory=924 CPUtime=0.63 cores=0-7 /proc/32429/task/32436/stat : 32436 (cosoco) R 32426 32429 31775 0 -1 4202560 1319 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553189763688 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32437] ppid=32426 vsize=635132 memory=1760 CPUtime=0.63 cores=0-7 /proc/32429/task/32437/stat : 32437 (cosoco) R 32426 32429 31775 0 -1 4202560 1151 0 0 0 63 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553181371520 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 [pid=32429/tid=32438] ppid=32426 vsize=635132 memory=1440 CPUtime=0.64 cores=0-7 /proc/32429/task/32438/stat : 32438 (cosoco) R 32426 32429 31775 0 -1 4202560 1090 0 0 0 64 0 0 0 20 0 9 0 558526011 650375168 14104 33554432000 4194304 6211132 140729114172624 140553172978280 5149055 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 10477568 140729114174481 140729114174573 140729114174573 140729114177486 0 Current children cumulated CPU time: 5.14 s Current children cumulated vsize: 635132 KiB Current children cumulated memory: 56416 KiB Child status: 0 Real time (s): 0.778647 CPU time (s): 5.70484 CPU user time (s): 5.64078 CPU system time (s): 0.064054 CPU usage (%): 732.66 Max. virtual memory (cumulated for all children) (KiB): 638744 Max. memory (cumulated for all children) (KiB): 56416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.64078 system time used= 0.064054 maximum resident set size= 57520 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15803 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= 1334 involuntary context switches= 56 # summary of solver processes directly reported to runsolver: # pid: 32429 # total CPU time (s): 5.70484 # total CPU user time (s): 5.64078 # total CPU system time (s): 0.064054 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.025743 second user time and 0.049786 second system time The end
Begin job on node104 at 2019-09-30 06:41:10 IDJOB=4409485 IDBENCH=124158 IDSOLVER=2877 FILE ID=node104/4409485-1569822696 RUNJOBID= node104-1569813805-31802 PBS_JOBID= 21705922 Free space on /tmp= 61504 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t13-3.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409485-1569822696/watcher-4409485-1569822696 -o /tmp/evaluation-result-4409485-1569822696/solver-4409485-1569822696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409485-1569822696.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0fab81179fd404e9cd210665e915a325 RANDOM SEED=1942967385 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30493764 kB MemAvailable: 31828020 kB Buffers: 209780 kB Cached: 1444612 kB SwapCached: 22760 kB Active: 307580 kB Inactive: 1374584 kB Active(anon): 18988 kB Inactive(anon): 91244 kB Active(file): 288592 kB Inactive(file): 1283340 kB Unevictable: 109656 kB Mlocked: 109656 kB SwapTotal: 67108860 kB SwapFree: 66986684 kB Dirty: 921592 kB Writeback: 77908 kB AnonPages: 108392 kB Mapped: 27188 kB Shmem: 73632 kB Slab: 186044 kB SReclaimable: 156316 kB SUnreclaim: 29728 kB KernelStack: 3312 kB PageTables: 4960 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 532592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 61440 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 61500 MiB End job on node104 at 2019-09-30 06:41:11