Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 0 | 20126.3 | 2520.02 |
Name | BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r1.xml |
MD5SUM | a404c513102fb879343dc63e509eedd5 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 2520.44 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 166 |
Number of constraints | 25 |
Number of domains | 2 |
Minimum domain size | 12 |
Maximum domain size | 70 |
Distribution of domain sizes | [{"size":12,"count":1},{"size":70,"count":165}] |
Minimum variable degree | 2 |
Maximum variable degree | 5 |
Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":154},{"degree":5,"count":11}] |
Minimum constraint arity | 12 |
Maximum constraint arity | 165 |
Distribution of constraint arities | [{"arity":12,"count":1},{"arity":15,"count":22},{"arity":165,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"ordered","count":11},{"type":"lex","count":1},{"type":"sum","count":11},{"type":"count","count":1},{"type":"cardinality","count":1}] |
Optimization problem | YES |
Type of objective | max VAR |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409718-1569834102.xml 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 0 0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.01 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 165 Exactly/AtMost.. constraint 0.00/0.02 c 335.17/42.07 c enable optimization 335.17/42.07 c ========================================[ Problem Statistics ]=========================================== 335.17/42.07 c | 335.17/42.07 c | Parse time : 0.02 s 335.17/42.07 c | 335.17/42.07 c | Variables: 166 335.17/42.07 c | Domain Sizes: 12..70 335.17/42.07 c | 335.17/42.07 c | Constraints: 247 335.17/42.07 c | Arity: 1..165 -- Unary: 1 -- Binary: 154 335.17/42.07 c | 335.17/42.07 c | Types: 335.17/42.07 c | (X -Y <= k): 154 335.17/42.07 c | Exactly K: 70 335.17/42.07 c | Exactly K variable: 1 335.17/42.07 c | Intension: 1 335.17/42.07 c | Lex: 10 335.17/42.07 c | Sum: 11 335.17/42.07 c | 335.17/42.07 c | Objective: Maximize Intension 335.17/42.07 335.17/42.07 c ========================================================================================================= 335.17/42.07 c Parallel mode: Portfolio 335.17/42.07 c [pFactory][Group N°0] created (threads:8). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 335.17/42.07 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 335.17/42.07 c [pFactory][Group N°0] concurrent mode: enabled. 335.17/42.07 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 335.17/42.07 c [pFactory][Group N°0] task 7 launched on thread 1. 335.17/42.07 c [pFactory][Group N°0] task 6 launched on thread 0. 335.17/42.07 c [pFactory][Group N°0] task 5 launched on thread 4. 335.17/42.07 c [pFactory][Group N°0] task 4 launched on thread 5. 335.17/42.07 c [pFactory][Group N°0] task 3 launched on thread 2. 335.17/42.07 c [pFactory][Group N°0] task 2 launched on thread 3. 335.17/42.07 c [pFactory][Group N°0] task 1 launched on thread 6. 335.17/42.07 c [pFactory][Group N°0] task 0 launched on thread 7. 335.17/42.07 o 0 20126.22/2520.02 20126.22/2520.02 c *** INTERRUPTED *** 20126.22/2520.02 c call to solver : 1 20126.22/2520.02 c 20126.22/2520.02 c restarts : 64491 20126.22/2520.02 c conflicts : 554859 (28 /sec) 20126.22/2520.02 c decisions : 2055166 (102 /sec) 20126.22/2520.02 c propagations : 174526013 (8672 /sec) 20126.22/2520.02 c root propagations : 3844346 20126.22/2520.02 c filter calls : 457051998 (22709 /sec) 20126.22/2520.02 c useless filter calls : 446895088 (97 %) 20126.22/2520.02 c Memory used : 613.31 MB 20126.22/2520.02 c Best bound time (wc) : 42.0752 s 20126.22/2520.02 c CPU time : 20126.2 s 20126.22/2520.02 c real time : 2520.02 s 20126.22/2520.02 20126.22/2520.02 s SATISFIABLE 20126.22/2520.02 c Best value found: 0 20126.22/2520.02 20126.22/2520.02 20126.22/2520.02 v <instantiation type='solution' cost='0'> 20126.22/2520.02 v <list>b[0][0] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[10][0] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[1][0] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[2][0] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[3][0] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[4][0] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[5][0] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[6][0] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[7][0] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[8][0] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[9][0] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] x </list> 20126.22/2520.02 v <values>165 0 0 0 0 0 165 164 85 85 85 84 84 83 0 74 65 62 61 61 61 74 71 70 68 67 67 67 66 65 160 0 0 0 0 0 140 139 138 138 137 135 0 0 0 159 0 0 0 0 0 125 123 121 95 95 94 94 94 0 157 60 59 0 0 0 90 86 86 82 82 80 79 78 61 155 0 0 0 0 0 131 131 131 130 129 128 0 0 0 154 0 0 0 0 0 146 144 143 134 127 116 0 0 0 154 0 0 0 0 0 116 114 96 93 92 89 86 76 0 153 0 0 0 0 0 150 150 150 147 118 0 0 0 0 115 0 0 0 0 0 113 113 113 111 111 109 108 107 0 115 0 0 0 0 0 103 103 102 102 101 100 97 91 86 0 </values> 20126.22/2520.02 v </instantiation> 20126.22/2520.02
OK 0
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 (15265 MiB free) memory of node 1: 16384 MiB (15716 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409718-1569834102/watcher-4409718-1569834102 -o /tmp/evaluation-result-4409718-1569834102/solver-4409718-1569834102 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569829013-32651 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409718-1569834102.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=903, runsolver pid=900 Current StackSize limit: 8192 KiB [startup+0.100784 s]* /proc/loadavg: 7.65 8.12 8.26 9/202 912 /proc/meminfo: memFree=31713908/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=14836 CPUtime=0.62 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 3949 0 0 0 61 1 0 0 20 0 9 0 559677933 643100672 3709 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 3709 902 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=8316850467074736180 CPUtime=0.07 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 8 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159070162528 5250283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=9329 CPUtime=0.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159061769824 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=139851803774371 CPUtime=0.07 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 6 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159053376248 5193776 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=-1 CPUtime=0.07 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 6 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159044983544 5008831 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=0 CPUtime=0.07 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 8 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159036590840 5136319 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=0 CPUtime=0.07 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159028198136 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=-1 CPUtime=0.07 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 5 0 0 0 7 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159019806304 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=0 CPUtime=0.06 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 4 0 0 0 6 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159011413600 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 0.62 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 14836 KiB [startup+0.210782 s]* /proc/loadavg: 7.65 8.12 8.26 9/202 912 /proc/meminfo: memFree=31713908/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=14836 CPUtime=1.49 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 3976 0 0 0 148 1 0 0 20 0 9 0 559677933 643100672 3709 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 3709 902 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=8316850467074736180 CPUtime=0.18 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 8 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159070161656 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=9329 CPUtime=0.18 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159061769824 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=139851803774371 CPUtime=0.18 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 16 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159053376248 5136319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=-1 CPUtime=0.18 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 6 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159044983544 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=0 CPUtime=0.18 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 10 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159036590840 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=0 CPUtime=0.17 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 15 0 0 0 17 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159028198136 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=-1 CPUtime=0.18 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9 0 0 0 18 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159019806304 5397400 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=0 CPUtime=0.17 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 7 0 0 0 17 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159011413600 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 14836 KiB [startup+0.309781 s]* /proc/loadavg: 7.65 8.12 8.26 9/202 912 /proc/meminfo: memFree=31713908/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=14836 CPUtime=2.27 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 3991 0 0 0 226 1 0 0 20 0 9 0 559677933 643100672 3709 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 3709 902 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=6935054825532540783 CPUtime=0.28 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 8 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159070161656 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=4126316290023845779 CPUtime=0.28 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159061769824 5250311 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=0 CPUtime=0.28 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 18 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159053376248 5250292 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=0 CPUtime=0.28 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 6 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159044983544 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=6656426216303648864 CPUtime=0.28 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 15 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159036590840 5009168 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=0 CPUtime=0.25 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 19 0 0 0 25 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159028198136 5250316 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=0 CPUtime=0.28 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9 0 0 0 28 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159019806304 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=0 CPUtime=0.27 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 11 0 0 0 27 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159011413600 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 2.27 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 14836 KiB [startup+0.700781 s] /proc/loadavg: 7.65 8.12 8.26 9/203 914 /proc/meminfo: memFree=31714340/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=14836 CPUtime=5.31 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 4030 0 0 0 530 1 0 0 20 0 9 0 559677933 643100672 3709 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 3709 902 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=2836 CPUtime=0.66 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 8 0 0 0 66 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159070161656 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=1540 CPUtime=0.67 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14 0 0 0 67 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159061768952 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=1732 CPUtime=0.67 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 25 0 0 0 67 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159053376248 5136343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=6176 CPUtime=0.66 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 6 0 0 0 66 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159044983544 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=772 CPUtime=0.66 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 18 0 0 0 66 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159036590840 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=952 CPUtime=0.61 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 30 0 0 0 61 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159028198136 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=2320 CPUtime=0.66 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 20 0 0 0 66 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159019805432 5136319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=14836 CPUtime=0.65 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 18 0 0 0 65 0 0 0 20 0 9 0 559677936 643100672 3709 33554432000 4194304 6211132 140727827465968 140159011412728 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 5.31 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 14836 KiB [startup+1.50078 s] /proc/loadavg: 7.65 8.12 8.26 9/203 914 /proc/meminfo: memFree=31714084/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=15564 CPUtime=11.69 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 7088 0 0 0 1167 2 0 0 20 0 9 0 559677933 643100672 3891 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 3891 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=148 CPUtime=1.46 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 241 0 0 0 146 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159070161656 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=279703302704432 CPUtime=1.47 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 463 0 0 0 147 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159061768952 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=6054830147818 CPUtime=1.46 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 257 0 0 0 146 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159053376248 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=0 CPUtime=1.46 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 534 0 0 0 146 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159044983544 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=589972050986101276 CPUtime=1.46 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 491 0 0 0 146 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159036590776 5250304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=288283389822518425 CPUtime=1.4 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 505 0 0 0 140 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159028197992 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=3047711553320166262 CPUtime=1.46 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 360 0 0 0 146 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159019805432 5136319 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=279703303192320 CPUtime=1.45 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 346 0 0 0 145 0 0 0 20 0 9 0 559677936 643100672 3891 33554432000 4194304 6211132 140727827465968 140159011412728 5250316 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 11.69 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 15564 KiB [startup+3.11079 s] /proc/loadavg: 7.65 8.12 8.26 10/203 914 /proc/meminfo: memFree=31712548/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=16100 CPUtime=24.52 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 8694 0 0 0 2450 2 0 0 20 0 9 0 559677933 643100672 4025 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4025 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=15568 CPUtime=3.06 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 478 0 0 0 306 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159070161592 5250330 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=160 CPUtime=3.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 775 0 0 0 307 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159061768888 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=166 CPUtime=3.07 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 439 0 0 0 307 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159053376200 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=3620 CPUtime=3.06 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 679 0 0 0 306 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159044983272 5250482 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=8881 CPUtime=3.07 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 662 0 0 0 307 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159036590968 5136324 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=4420 CPUtime=2.98 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 714 0 0 0 298 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159028198072 5136324 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=6628 CPUtime=3.07 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 512 0 0 0 307 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159019805432 5136611 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=8836 CPUtime=3.05 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 544 0 0 0 305 0 0 0 20 0 9 0 559677936 643100672 4025 33554432000 4194304 6211132 140727827465968 140159011412664 5136343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 24.52 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 16100 KiB [startup+6.30078 s] /proc/loadavg: 7.68 8.12 8.26 9/203 914 /proc/meminfo: memFree=31713600/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=16316 CPUtime=50 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 11737 0 0 0 4997 3 0 0 20 0 9 0 559677933 643100672 4079 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4079 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=1060 CPUtime=6.25 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 923 0 0 0 625 0 0 0 20 0 9 0 559677936 643100672 4079 33554432000 4194304 6211132 140727827465968 140159070161464 5250304 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=740 CPUtime=6.26 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 1272 0 0 0 626 0 0 0 20 0 9 0 559677936 643100672 4079 33554432000 4194304 6211132 140727827465968 140159061768888 5250304 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=0 CPUtime=6.26 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 779 0 0 0 626 0 0 0 20 0 9 0 559677936 643100672 4079 33554432000 4194304 6211132 140727827465968 140159053376104 5136311 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=3473877742992786985 CPUtime=6.25 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 1043 0 0 0 625 0 0 0 20 0 9 0 559677936 643100672 4079 33554432000 4194304 6211132 140727827465968 140159044983352 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 ################ # More data... # ################ /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 8967 0 0 0 226181 0 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=17020 CPUtime=2261.1 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 9655 0 0 0 226109 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=17020 CPUtime=2262 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 10511 0 0 0 226199 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=17020 CPUtime=2236.74 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 9913 0 0 0 223672 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=17020 CPUtime=2262 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9514 0 0 0 226199 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=17020 CPUtime=2260.17 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 9674 0 0 0 226016 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 18068 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB [startup+2322.3 s] /proc/loadavg: 8.07 8.24 8.29 9/199 1082 /proc/meminfo: memFree=31714696/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=17020 CPUtime=18547.2 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 89396 0 0 0 1854708 13 0 0 20 0 9 0 559677933 643100672 4255 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4255 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=17020 CPUtime=2322 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 12299 0 0 0 232198 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159070161592 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=17020 CPUtime=2322.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14227 0 0 0 232206 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159061768680 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=17020 CPUtime=2321.07 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 9055 0 0 0 232107 0 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=17020 CPUtime=2321.09 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 9767 0 0 0 232108 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5250266 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=17020 CPUtime=2321.98 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 10646 0 0 0 232197 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=17020 CPUtime=2296.74 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 10049 0 0 0 229672 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=17020 CPUtime=2322 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9654 0 0 0 232199 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5250273 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=17020 CPUtime=2320.17 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 9808 0 0 0 232016 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5250321 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 18547.2 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB [startup+2382.3 s] /proc/loadavg: 8.09 8.21 8.28 9/200 1092 /proc/meminfo: memFree=31714564/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=17020 CPUtime=19026.4 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 90502 0 0 0 1902626 13 0 0 20 0 9 0 559677933 643100672 4255 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4255 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=17020 CPUtime=2381.98 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 12461 0 0 0 238196 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159070161592 5250321 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=17020 CPUtime=2382.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14412 0 0 0 238206 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159061768680 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=17020 CPUtime=2380.34 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 9187 0 0 0 238033 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=17020 CPUtime=2381.07 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 9868 0 0 0 238106 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5250321 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=17020 CPUtime=2381.97 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 10774 0 0 0 238196 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=17020 CPUtime=2356.73 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 10177 0 0 0 235671 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5136338 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=17020 CPUtime=2381.99 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9790 0 0 0 238198 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5250311 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=3620 CPUtime=2380.15 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 9942 0 0 0 238014 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 19026.4 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB [startup+2442.3 s] /proc/loadavg: 8.04 8.17 8.26 9/200 1097 /proc/meminfo: memFree=31714884/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=17020 CPUtime=19505.6 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 91570 0 0 0 1950545 14 0 0 20 0 9 0 559677933 643100672 4255 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4255 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=17020 CPUtime=2441.97 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 12614 0 0 0 244195 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159070161592 5250325 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=17020 CPUtime=2442.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14591 0 0 0 244206 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159061768680 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=17020 CPUtime=2439.57 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 9307 0 0 0 243956 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5136311 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=17020 CPUtime=2441.07 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 9977 0 0 0 244106 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5397318 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=17020 CPUtime=2441.97 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 10898 0 0 0 244196 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250273 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=17020 CPUtime=2416.72 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 10294 0 0 0 241670 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5250321 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=17020 CPUtime=2441.98 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 9928 0 0 0 244197 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5136311 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=2004 CPUtime=2440.14 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 10070 0 0 0 244013 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5136288 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 19505.6 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB [startup+2502.3 s] /proc/loadavg: 8.09 8.16 8.25 9/200 1100 /proc/meminfo: memFree=31714736/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=17020 CPUtime=19984.8 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 92713 0 0 0 1998466 14 0 0 20 0 9 0 559677933 643100672 4255 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4255 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=1328725297981317182 CPUtime=2501.96 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 12767 0 0 0 250194 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159070161592 5389883 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=1564 CPUtime=2502.07 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14800 0 0 0 250206 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159061768680 5250316 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=17020 CPUtime=2498.84 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 9439 0 0 0 249883 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=3620 CPUtime=2501.06 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 10074 0 0 0 250105 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5136288 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=17020 CPUtime=2501.97 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 11036 0 0 0 250196 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250321 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=17020 CPUtime=2476.72 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 10422 0 0 0 247670 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5250256 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=17020 CPUtime=2501.98 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 10076 0 0 0 250197 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=17020 CPUtime=2500.11 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 10208 0 0 0 250010 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 19984.8 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.07 8.15 8.24 9/200 1100 /proc/meminfo: memFree=31714428/32770624 swapFree=66997708/67108860 [pid=903] ppid=900 vsize=628028 memory=17020 CPUtime=20126.2 cores=0-7 /proc/903/stat : 903 (cosoco) S 900 903 32624 0 -1 1077944320 93856 0 0 0 2012608 14 0 0 20 0 9 0 559677933 643100672 4255 33554432000 4194304 6211132 140727827465968 140727827464224 140159093305079 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 /proc/903/statm: 157007 4255 911 493 0 150312 0 [pid=903/tid=905] ppid=900 vsize=628028 memory=6935054825532540783 CPUtime=2519.67 cores=0-7 /proc/903/task/905/stat : 905 (cosoco) R 900 903 32624 0 -1 4202560 12925 0 0 0 251965 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159070161592 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=906] ppid=900 vsize=628028 memory=4126316290023845779 CPUtime=2519.78 cores=0-7 /proc/903/task/906/stat : 906 (cosoco) R 900 903 32624 0 -1 4202560 14999 0 0 0 251977 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159061768680 5250321 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=907] ppid=900 vsize=628028 memory=772 CPUtime=2516.33 cores=0-7 /proc/903/task/907/stat : 907 (cosoco) R 900 903 32624 0 -1 4202560 9573 0 0 0 251632 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159053375976 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=908] ppid=900 vsize=628028 memory=952 CPUtime=2518.76 cores=0-7 /proc/903/task/908/stat : 908 (cosoco) R 900 903 32624 0 -1 4202560 10179 0 0 0 251875 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159044983352 5250304 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=909] ppid=900 vsize=628028 memory=14008 CPUtime=2519.68 cores=0-7 /proc/903/task/909/stat : 909 (cosoco) R 900 903 32624 0 -1 4202560 11180 0 0 0 251967 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159036590792 5250482 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=910] ppid=900 vsize=628028 memory=4100 CPUtime=2494.43 cores=0-7 /proc/903/task/910/stat : 910 (cosoco) R 900 903 32624 0 -1 4202560 10566 0 0 0 249441 2 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159028198088 5250283 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=911] ppid=900 vsize=628028 memory=6652 CPUtime=2519.68 cores=0-7 /proc/903/task/911/stat : 911 (cosoco) R 900 903 32624 0 -1 4202560 10205 0 0 0 251967 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159019805160 5250304 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 [pid=903/tid=912] ppid=900 vsize=628028 memory=2116 CPUtime=2517.82 cores=0-7 /proc/903/task/912/stat : 912 (cosoco) R 900 903 32624 0 -1 4202560 10338 0 0 0 251781 1 0 0 20 0 9 0 559677936 643100672 4255 33554432000 4194304 6211132 140727827465968 140159011412856 5250311 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 21774336 140727827469329 140727827469421 140727827469421 140727827472334 0 Current children cumulated CPU time: 20126.2 s Current children cumulated vsize: 628028 KiB Current children cumulated memory: 17020 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 903 was just reported to runsolver # cumulated CPU time of all completed processes: user=20126.2 s, system=0.144934 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.02 CPU time (s): 20126.3 CPU user time (s): 20126.2 CPU system time (s): 0.144934 CPU usage (%): 798.657 Max. virtual memory (cumulated for all children) (KiB): 628028 Max. memory (cumulated for all children) (KiB): 17020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20126.2 system time used= 0.144934 maximum resident set size= 17164 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 93904 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= 277 involuntary context switches= 165521 # summary of solver processes directly reported to runsolver: # pid: 903 # total CPU time (s): 20126.3 # total CPU user time (s): 20126.2 # total CPU system time (s): 0.144934 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.9846 second user time and 19.8928 second system time The end
Begin job on node126 at 2019-09-30 11:01:04 IDJOB=4409718 IDBENCH=137635 IDSOLVER=2877 FILE ID=node126/4409718-1569834102 RUNJOBID= node126-1569829013-32651 PBS_JOBID= 21705936 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n2w4b2r1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409718-1569834102/watcher-4409718-1569834102 -o /tmp/evaluation-result-4409718-1569834102/solver-4409718-1569834102 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node126-1569829013-32651 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409718-1569834102.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= a404c513102fb879343dc63e509eedd5 RANDOM SEED=179485 node126.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.45 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.56 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.45 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.56 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.45 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.56 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.45 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31725344 kB MemAvailable: 31856700 kB Buffers: 116636 kB Cached: 332984 kB SwapCached: 7400 kB Active: 324856 kB Inactive: 136032 kB Active(anon): 4584 kB Inactive(anon): 82084 kB Active(file): 320272 kB Inactive(file): 53948 kB Unevictable: 109440 kB Mlocked: 109440 kB SwapTotal: 67108860 kB SwapFree: 66997708 kB Dirty: 2780 kB Writeback: 8 kB AnonPages: 113692 kB Mapped: 26032 kB Shmem: 66832 kB Slab: 175384 kB SReclaimable: 145940 kB SUnreclaim: 29444 kB KernelStack: 3456 kB PageTables: 5424 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539916 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 130432 kB DirectMap2M: 33415168 kB Free space on /tmp at the end= 62028 MiB End job on node126 at 2019-09-30 11:43:04