Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 84 | 20120.6 | 2520.02 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml |
MD5SUM | 0094b37350883aa25196a680c59db77a |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 64 |
Best CPU time to get the best result obtained on this benchmark | 20057.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1121 |
Number of constraints | 592 |
Number of domains | 65 |
Minimum domain size | 2 |
Maximum domain size | 65 |
Distribution of domain sizes | [{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}] |
Minimum variable degree | 0 |
Maximum variable degree | 32 |
Distribution of variable degrees | [{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 33 |
Distribution of constraint arities | [{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 560 |
Distribution of constraint types | [{"type":"intension","count":560},{"type":"sum","count":32}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4398467-1568604329.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 65tuples 0.10/0.20 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 63tuples 0.10/0.20 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 61tuples 0.10/0.21 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 59tuples 0.10/0.21 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 57tuples 0.10/0.21 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 55tuples 0.10/0.21 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 53tuples 0.10/0.21 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 51tuples 0.10/0.21 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 49tuples 0.20/0.21 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 47tuples 0.20/0.21 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 45tuples 0.20/0.22 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 43tuples 0.20/0.22 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 41tuples 0.20/0.22 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 39tuples 0.20/0.22 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 37tuples 0.20/0.22 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 35tuples 0.20/0.22 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 33tuples 0.20/0.22 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 31tuples 0.20/0.22 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 29tuples 0.20/0.22 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 27tuples 0.20/0.22 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 25tuples 0.20/0.22 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 23tuples 0.20/0.22 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 21tuples 0.20/0.22 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 19tuples 0.20/0.22 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 17tuples 0.20/0.22 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 15tuples 0.20/0.22 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 13tuples 0.20/0.23 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 11tuples 0.20/0.23 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 9tuples 0.20/0.23 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 7tuples 0.20/0.23 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 5tuples 0.20/0.23 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 3tuples 0.20/0.26 c enable optimization 0.20/0.26 c ========================================[ Problem Statistics ]=========================================== 0.20/0.26 c | 0.20/0.26 c | Parse time : 0.22 s 0.20/0.26 c | 0.20/0.26 c | Variables: 1121 0.20/0.26 c | Domain Sizes: 2..65 0.20/0.26 c | 0.20/0.26 c | Constraints: 593 0.20/0.26 c | Arity: 2..33 -- Binary: 33 -- Ternary: 529 0.20/0.26 c | 0.20/0.26 c | Types: 0.20/0.26 c | Extension: 560 (nb tuples: 3..65) -- (shared: 4216) 0.20/0.26 c | Sum: 33 0.20/0.26 c | 0.20/0.26 c | Objective: Minimize Sum 0.20/0.26 0.20/0.26 c ========================================================================================================= 0.20/0.26 c Parallel mode: Portfolio 0.20/0.26 c [pFactory][Group N°0] created (threads:8). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.20/0.26 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.20/0.26 c [pFactory][Group N°0] concurrent mode: enabled. 0.20/0.26 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.20/0.26 c [pFactory][Group N°0] task 7 launched on thread 2. 0.20/0.26 c [pFactory][Group N°0] task 6 launched on thread 0. 0.20/0.26 c [pFactory][Group N°0] task 5 launched on thread 4. 0.20/0.26 c [pFactory][Group N°0] task 4 launched on thread 5. 0.20/0.26 c [pFactory][Group N°0] task 3 launched on thread 7. 0.20/0.26 c [pFactory][Group N°0] task 2 launched on thread 6. 0.20/0.26 c [pFactory][Group N°0] task 1 launched on thread 1. 0.20/0.26 c [pFactory][Group N°0] task 0 launched on thread 3. 0.20/0.26 o 11440 0.20/0.26 o 4816 0.20/0.26 o 2520 0.20/0.30 o 2492 0.20/0.30 o 1556 0.76/0.34 o 1064 0.76/0.36 o 956 0.76/0.37 o 836 0.76/0.40 o 448 0.76/0.40 o 440 1.64/0.47 o 392 2.36/0.56 o 348 2.36/0.59 o 320 3.09/0.62 o 316 3.09/0.65 o 300 3.09/0.70 o 288 3.89/0.73 o 252 4.61/0.81 o 236 5.41/0.93 o 208 6.27/1.05 o 184 7.07/1.18 o 148 105.12/13.48 o 136 224.09/28.37 o 132 297.55/37.50 o 116 902.80/113.34 o 112 1460.96/183.20 o 108 1758.00/220.46 o 104 3228.01/404.57 o 96 4436.95/555.94 o 88 9006.08/1128.13 o 84 20120.45/2520.02 20120.45/2520.02 c *** INTERRUPTED *** 20120.45/2520.02 c call to solver : 24 20120.45/2520.02 c 20120.45/2520.02 c restarts : 544281 20120.45/2520.02 c conflicts : 2814336 (140 /sec) 20120.45/2520.02 c decisions : 66547535 (3307 /sec) 20120.45/2520.02 c propagations : 1635711792 (81297 /sec) 20120.45/2520.02 c root propagations : 2737 20120.45/2520.02 c filter calls : 1926109034 (95730 /sec) 20120.45/2520.02 c useless filter calls : 1081382617 (56 %) 20120.45/2520.02 c Memory used : 637.95 MB 20120.45/2520.02 c Best bound time (wc) : 1128.13 s 20120.45/2520.02 c CPU time : 20120.3 s 20120.45/2520.02 c real time : 2520.02 s 20120.45/2520.02 20120.45/2520.02 s SATISFIABLE 20120.45/2520.02 c Best value found: 84 20120.45/2520.02 20120.45/2520.02 20120.45/2520.02 v <instantiation type='solution' cost='84'> 20120.45/2520.02 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 20120.45/2520.02 v <values>0 2 1 -2 -1 0 -1 -2 1 -2 -1 -1 0 -1 0 1 -4 3 0 -3 2 1 0 -2 1 -1 0 -3 -2 1 0 1 0 4 1 4 1 0 1 4 1 4 1 1 0 1 0 1 16 9 0 9 4 1 0 4 1 1 0 9 4 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 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 * * * * * * * * * 1 * * 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 * * * * * * * * * * 1 * * 1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 * * * -1 * * * * * * * * * * -1 * * -1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 * * * * 1 * * * * * * * * * * -1 * * -1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 1 1 -1 1 -1 1 1 -1 1 * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 -1 -1 -1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 * 1 -1 -1 1 1 1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * * * * 1 * * 1 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 1 -1 -1 1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 1 1 1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 1 * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 -1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * 1 1 -1 1 * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * -1 -1 * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 1 -1 1 1 1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 * * 1 1 1 -1 -1 -1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 * 1 * * -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 * * -1 * * 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 * * * 1 * * -1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 * * * * -1 * * 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 * * * * * 1 * * -1 -1 1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 * * * * * * -1 * * 1 -1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * 1 * * 1 -1 1 1 -1 -1 1 </values> 20120.45/2520.02 v </instantiation> 20120.45/2520.02
OK 84
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 (14805 MiB free) memory of node 1: 16384 MiB (15342 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398467-1568604329/watcher-4398467-1568604329 -o /tmp/evaluation-result-4398467-1568604329/solver-4398467-1568604329 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568593251-9649 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398467-1568604329.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=10742, runsolver pid=10739 [startup+0.10015 s]* /proc/loadavg: 8.19 8.47 8.39 2/191 10743 /proc/meminfo: memFree=30855380/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=44528 memory=20720 CPUtime=0.1 cores=0-7 /proc/10742/stat : 10742 (cosoco) R 10739 10742 9622 0 -1 4202496 5402 0 0 0 10 0 0 0 20 0 1 0 436688784 45596672 5180 33554432000 4194304 6211092 140725410406688 140725410403224 140319119076325 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 11132 5180 826 493 0 4437 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 44528 KiB Current children cumulated memory: 20720 KiB [startup+0.20886 s]* /proc/loadavg: 8.19 8.47 8.39 2/191 10743 /proc/meminfo: memFree=30839384/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=59716 memory=36228 CPUtime=0.2 cores=0-7 /proc/10742/stat : 10742 (cosoco) R 10739 10742 9622 0 -1 4202496 9218 0 0 0 20 0 0 0 20 0 1 0 436688784 61149184 9057 33554432000 4194304 6211092 140725410406688 140725410403224 140319119514720 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 14929 9057 857 493 0 8234 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 59716 KiB Current children cumulated memory: 36228 KiB [startup+0.309083 s]* /proc/loadavg: 8.19 8.47 8.39 9/199 10751 /proc/meminfo: memFree=30819808/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=56904 CPUtime=0.76 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 14579 0 0 0 73 3 0 0 20 0 9 0 436688784 668938240 14226 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 14226 904 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=8317482817917895235 CPUtime=0.06 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 540 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319111973400 5148679 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=0 CPUtime=0.06 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 549 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319103580776 5035326 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=0 CPUtime=0.06 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 542 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319095188752 5397223 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=6655300316396806240 CPUtime=0.06 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 550 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319086795368 5392081 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=0 CPUtime=0.06 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 572 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319078402584 5038700 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=0 CPUtime=0.05 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 549 0 0 0 5 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319070009880 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=0 CPUtime=0.06 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 542 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319061617256 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=0 CPUtime=0.06 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 542 0 0 0 6 0 0 0 20 0 9 0 436688808 668938240 14226 33554432000 4194304 6211092 140725410406688 140319053224472 5397235 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 0.76 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 56904 KiB [startup+0.711084 s] /proc/loadavg: 8.18 8.46 8.39 9/199 10751 /proc/meminfo: memFree=30816584/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=61392 CPUtime=3.89 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 15760 0 0 0 385 4 0 0 20 0 9 0 436688784 668938240 15348 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15348 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=1552 CPUtime=0.45 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 689 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319111974160 5250298 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=8068 CPUtime=0.45 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 694 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319103580776 5148640 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=4008 CPUtime=0.45 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 647 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319095188752 5149241 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=1556 CPUtime=0.45 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 674 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319086795368 5035312 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=2832 CPUtime=0.45 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 727 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319078403088 5250289 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=140498304505471 CPUtime=0.42 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 766 0 0 0 42 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319070010640 5035320 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=5932762877087012201 CPUtime=0.45 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 693 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319061617696 5396688 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=4638778402627731557 CPUtime=0.45 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 677 0 0 0 45 0 0 0 20 0 9 0 436688808 668938240 15348 33554432000 4194304 6211092 140725410406688 140319053224976 5397216 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 3.89 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 61392 KiB [startup+1.50109 s] /proc/loadavg: 8.18 8.46 8.39 9/199 10751 /proc/meminfo: memFree=30814280/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63168 CPUtime=10.2 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 29804 0 0 0 1012 8 0 0 20 0 9 0 436688784 668938240 15792 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15792 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=0 CPUtime=1.24 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 2990 0 0 0 124 0 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319111974160 5155937 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=1760 CPUtime=1.24 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 2176 0 0 0 124 0 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319103580776 5035336 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=111632 CPUtime=1.25 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 2283 0 0 0 124 1 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319095188152 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=53156 CPUtime=1.24 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 2531 0 0 0 124 0 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319086795368 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=280987766781856 CPUtime=1.24 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 2499 0 0 0 124 0 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319078402664 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=3184238413959355936 CPUtime=1.2 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 2213 0 0 0 119 1 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319070010040 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=6656426216303648864 CPUtime=1.24 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 2737 0 0 0 123 1 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319061617352 5148684 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=0 CPUtime=1.24 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 2182 0 0 0 124 0 0 0 20 0 9 0 436688808 668938240 15792 33554432000 4194304 6211092 140725410406688 140319053224552 5392064 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 10.2 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63168 KiB [startup+3.11008 s] /proc/loadavg: 8.18 8.46 8.39 9/199 10751 /proc/meminfo: memFree=30811412/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63188 CPUtime=22.98 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 29903 0 0 0 2290 8 0 0 20 0 9 0 436688784 668938240 15797 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15797 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 3000 0 0 0 284 0 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319111974160 5157967 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 2190 0 0 0 284 0 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319103580776 5409453 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=0 CPUtime=2.85 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 2290 0 0 0 284 1 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319095188072 5193754 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 2543 0 0 0 284 0 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319086795448 5149667 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 2513 0 0 0 284 0 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319078402664 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=0 CPUtime=2.78 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 2224 0 0 0 277 1 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319070010040 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 2752 0 0 0 283 1 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319061617256 5193744 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=0 CPUtime=2.84 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 2198 0 0 0 284 0 0 0 20 0 9 0 436688808 668938240 15797 33554432000 4194304 6211092 140725410406688 140319053224552 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 22.98 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63188 KiB [startup+6.30109 s] /proc/loadavg: 8.16 8.46 8.39 9/199 10751 /proc/meminfo: memFree=30811560/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63352 CPUtime=48.46 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 50271 0 0 0 4836 10 0 0 20 0 9 0 436688784 668938240 15838 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15838 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63352 CPUtime=6.03 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 5756 0 0 0 603 0 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319111974160 5250284 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=140498304505471 CPUtime=6.03 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 4567 0 0 0 603 0 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319103580776 5155804 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=928 CPUtime=6.03 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 4840 0 0 0 602 1 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319095188072 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=1680 CPUtime=6.03 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 4900 0 0 0 603 0 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319086795448 5148679 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=3580 CPUtime=6.04 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 5207 0 0 0 603 1 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319078402664 5250287 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=0 CPUtime=5.93 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 4667 0 0 0 592 1 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319070010040 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=0 CPUtime=6.03 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 5396 0 0 0 602 1 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319061617256 5250234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=0 CPUtime=6.03 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 4745 0 0 0 602 1 0 0 20 0 9 0 436688808 668938240 15838 33554432000 4194304 6211092 140725410406688 140319053224552 5149453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 48.46 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63352 KiB [startup+12.7011 s] /proc/loadavg: 8.15 8.45 8.38 9/199 10753 /proc/meminfo: memFree=30810104/32770624 swapFree=66925612/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63396 CPUtime=99.54 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 80664 0 0 0 9941 13 0 0 20 0 9 0 436688784 668938240 15849 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15849 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63396 CPUtime=12.42 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 9622 0 0 0 1242 0 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319111974160 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=63396 CPUtime=12.43 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 8130 0 0 0 1242 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319103580776 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=63396 CPUtime=12.42 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 9001 0 0 0 1241 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319095188072 5193728 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=0 CPUtime=12.43 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 8446 0 0 0 1242 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319086795448 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=8315171486948655189 CPUtime=12.43 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 9068 0 0 0 1242 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319078402664 5035326 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63396 CPUtime=12.24 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 8280 0 0 0 1223 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319070010040 5035232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=776 CPUtime=12.42 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 9396 0 0 0 1241 1 0 0 20 0 9 0 436688808 668938240 15849 33554432000 4194304 6211092 140725410406688 140319061617256 5039170 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 ################ # More data... # ################ /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 24364 0 0 0 224970 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5148684 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=63792 CPUtime=2261.38 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 19894 0 0 0 226134 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5250450 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=63792 CPUtime=2261.48 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 25201 0 0 0 226145 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5039254 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63792 CPUtime=2261.46 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 24487 0 0 0 226143 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5156090 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=63792 CPUtime=2257.35 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 23994 0 0 0 225732 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5149674 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=3580 CPUtime=2247.81 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 22386 0 0 0 224779 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5409465 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 18062.6 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB [startup+2322.3 s] /proc/loadavg: 8.66 8.31 8.26 9/201 10952 /proc/meminfo: memFree=30812824/32770624 swapFree=66925660/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63792 CPUtime=18541.7 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 198902 0 0 0 1854145 29 0 0 20 0 9 0 436688784 668938240 15948 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15948 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63792 CPUtime=2321.58 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 25034 0 0 0 232156 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319111974160 5250272 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=63792 CPUtime=2321.51 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 21741 0 0 0 232148 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319103581456 5250251 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=63792 CPUtime=2309.73 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 24622 0 0 0 230969 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5392083 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=63792 CPUtime=2321.36 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 20114 0 0 0 232132 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5250251 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=63792 CPUtime=2321.47 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 25482 0 0 0 232144 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5193754 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63792 CPUtime=2321.43 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 24798 0 0 0 232140 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5149234 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=63792 CPUtime=2316.53 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 24241 0 0 0 231650 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=988 CPUtime=2307.81 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 22677 0 0 0 230779 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5397244 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 18541.7 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB [startup+2382.3 s] /proc/loadavg: 8.48 8.33 8.27 9/201 10955 /proc/meminfo: memFree=30812752/32770624 swapFree=66925660/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63792 CPUtime=19020.9 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 201063 0 0 0 1902056 30 0 0 20 0 9 0 436688784 668938240 15948 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15948 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63792 CPUtime=2381.57 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 25307 0 0 0 238155 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319111974160 5148830 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=63792 CPUtime=2381.51 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 22064 0 0 0 238148 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319103581456 5149120 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=3580 CPUtime=2369.72 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 24902 0 0 0 236968 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=3580 CPUtime=2381.35 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 20300 0 0 0 238131 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5409465 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=63792 CPUtime=2381.44 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 25774 0 0 0 238141 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5009388 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63792 CPUtime=2381.42 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 25108 0 0 0 238139 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=63792 CPUtime=2375.73 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 24492 0 0 0 237570 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=63792 CPUtime=2367.8 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 22923 0 0 0 236778 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 19020.9 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB [startup+2442.3 s] /proc/loadavg: 8.18 8.27 8.25 9/201 10960 /proc/meminfo: memFree=30811696/32770624 swapFree=66925660/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63792 CPUtime=19499.9 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 203231 0 0 0 1949964 30 0 0 20 0 9 0 436688784 668938240 15948 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15948 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63792 CPUtime=2441.56 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 25602 0 0 0 244154 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319111974160 5009388 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=63792 CPUtime=2441.48 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 22311 0 0 0 244145 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319103581456 5409449 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=28196 CPUtime=2429.71 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 25187 0 0 0 242967 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5397249 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=63792 CPUtime=2441.33 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 20498 0 0 0 244129 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5409457 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=63792 CPUtime=2441.42 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 26054 0 0 0 244139 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5148687 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63792 CPUtime=2441.41 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 25425 0 0 0 244138 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5035326 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=63792 CPUtime=2434.92 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 24748 0 0 0 243488 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5250272 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=63792 CPUtime=2427.79 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 23213 0 0 0 242777 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5396409 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 19499.9 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB [startup+2502.3 s] /proc/loadavg: 8.28 8.28 8.25 9/199 10963 /proc/meminfo: memFree=30811528/32770624 swapFree=66925660/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63792 CPUtime=19979 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 205377 0 0 0 1997874 30 0 0 20 0 9 0 436688784 668938240 15948 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15948 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=63792 CPUtime=2501.55 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 25886 0 0 0 250153 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319111974160 5250284 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=28196 CPUtime=2501.47 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 22574 0 0 0 250144 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319103581456 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=63792 CPUtime=2489.71 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 25446 0 0 0 248967 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5150179 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=63792 CPUtime=2501.32 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 20690 0 0 0 250128 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5392078 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=63792 CPUtime=2501.38 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 26350 0 0 0 250135 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5250293 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=63792 CPUtime=2501.41 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 25720 0 0 0 250138 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5409465 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=63792 CPUtime=2494.12 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 25046 0 0 0 249408 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5038944 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=63792 CPUtime=2487.78 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 23472 0 0 0 248776 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5250241 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 19979 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.29 8.28 8.25 9/199 10964 /proc/meminfo: memFree=30811464/32770624 swapFree=66925660/67108860 [pid=10742] ppid=10739 vsize=653260 memory=63792 CPUtime=20120.4 cores=0-7 /proc/10742/stat : 10742 (cosoco) S 10739 10742 9622 0 -1 1077944320 207509 0 0 0 2012015 30 0 0 20 0 9 0 436688784 668938240 15948 33554432000 4194304 6211092 140725410406688 140725410404944 140319135117047 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 /proc/10742/statm: 163315 15948 905 493 0 156620 0 [pid=10742/tid=10744] ppid=10739 vsize=653260 memory=8317482817917895235 CPUtime=2519.25 cores=0-7 /proc/10742/task/10744/stat : 10744 (cosoco) R 10739 10742 9622 0 -1 4202560 26170 0 0 0 251923 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319111974160 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10745] ppid=10739 vsize=653260 memory=63792 CPUtime=2519.17 cores=0-7 /proc/10742/task/10745/stat : 10745 (cosoco) R 10739 10742 9622 0 -1 4202560 22810 0 0 0 251914 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319103581456 5186300 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10746] ppid=10739 vsize=653260 memory=1164 CPUtime=2507.41 cores=0-7 /proc/10742/task/10746/stat : 10746 (cosoco) R 10739 10742 9622 0 -1 4202560 25712 0 0 0 250737 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319095188152 5038784 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10747] ppid=10739 vsize=653260 memory=8317482817917895235 CPUtime=2519.02 cores=0-7 /proc/10742/task/10747/stat : 10747 (cosoco) R 10739 10742 9622 0 -1 4202560 20909 0 0 0 251898 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319086795448 5009272 0 0 4096 8405026 0 0 0 -1 0 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10748] ppid=10739 vsize=653260 memory=2552 CPUtime=2519.09 cores=0-7 /proc/10742/task/10748/stat : 10748 (cosoco) R 10739 10742 9622 0 -1 4202560 26670 0 0 0 251906 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319078402744 5148855 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10749] ppid=10739 vsize=653260 memory=1760 CPUtime=2519.11 cores=0-7 /proc/10742/task/10749/stat : 10749 (cosoco) R 10739 10742 9622 0 -1 4202560 26007 0 0 0 251908 3 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319070010640 5250279 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10750] ppid=10739 vsize=653260 memory=111632 CPUtime=2511.59 cores=0-7 /proc/10742/task/10750/stat : 10750 (cosoco) R 10739 10742 9622 0 -1 4202560 25302 0 0 0 251155 4 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319061617680 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 [pid=10742/tid=10751] ppid=10739 vsize=653260 memory=804 CPUtime=2505.49 cores=0-7 /proc/10742/task/10751/stat : 10751 (cosoco) R 10739 10742 9622 0 -1 4202560 23736 0 0 0 250547 2 0 0 20 0 9 0 436688808 668938240 15948 33554432000 4194304 6211092 140725410406688 140319053225088 5039145 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 9441280 140725410411537 140725410411629 140725410411629 140725410414542 0 Current children cumulated CPU time: 20120.5 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63792 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 10742 was just reported to runsolver # cumulated CPU time of all completed processes: user=20120.3 s, system=0.306797 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): 20120.6 CPU user time (s): 20120.3 CPU system time (s): 0.306797 CPU usage (%): 798.428 Max. virtual memory (cumulated for all children) (KiB): 653260 Max. memory (cumulated for all children) (KiB): 63792 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20120.3 system time used= 0.306797 maximum resident set size= 63940 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 207557 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= 5822 involuntary context switches= 140883 # summary of solver processes directly reported to runsolver: # pid: 10742 # total CPU time (s): 20120.6 # total CPU user time (s): 20120.3 # total CPU system time (s): 0.306797 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.0652 second user time and 21.92 second system time The end
Begin job on node107 at 2019-09-16 04:23:31 IDJOB=4398467 IDBENCH=127005 IDSOLVER=2851 FILE ID=node107/4398467-1568604329 RUNJOBID= node107-1568593251-9649 PBS_JOBID= 21703401 Free space on /tmp= 59040 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398467-1568604329/watcher-4398467-1568604329 -o /tmp/evaluation-result-4398467-1568604329/solver-4398467-1568604329 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node107-1568593251-9649 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398467-1568604329.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=968937898 node107.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.11 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.11 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.11 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.11 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: 30871532 kB MemAvailable: 31820388 kB Buffers: 203484 kB Cached: 1026376 kB SwapCached: 77192 kB Active: 572920 kB Inactive: 733552 kB Active(anon): 9836 kB Inactive(anon): 108748 kB Active(file): 563084 kB Inactive(file): 624804 kB Unevictable: 111252 kB Mlocked: 111252 kB SwapTotal: 67108860 kB SwapFree: 66925612 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 112272 kB Mapped: 40108 kB Shmem: 33240 kB Slab: 182504 kB SReclaimable: 153604 kB SUnreclaim: 28900 kB KernelStack: 3360 kB PageTables: 5060 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497196 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: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 59036 MiB End job on node107 at 2019-09-16 05:05:31