Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 84 | 20123.8 | 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-4409727-1569825684.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.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.11 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.14 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.17 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension -> extension : same as previous 0.09/0.20 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 65tuples 0.09/0.20 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 63tuples 0.09/0.20 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 61tuples 0.09/0.21 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 59tuples 0.09/0.21 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 57tuples 0.09/0.21 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 55tuples 0.09/0.21 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 53tuples 0.09/0.21 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 51tuples 0.09/0.21 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 49tuples 0.21/0.21 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 47tuples 0.21/0.21 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 45tuples 0.21/0.22 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 43tuples 0.21/0.22 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 41tuples 0.21/0.22 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 39tuples 0.21/0.22 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 37tuples 0.21/0.22 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 35tuples 0.21/0.22 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 33tuples 0.21/0.22 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 31tuples 0.21/0.22 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 29tuples 0.21/0.22 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 27tuples 0.21/0.22 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 25tuples 0.21/0.22 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 23tuples 0.21/0.22 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 21tuples 0.21/0.22 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 19tuples 0.21/0.22 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 17tuples 0.21/0.22 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 15tuples 0.21/0.22 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 13tuples 0.21/0.23 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 11tuples 0.21/0.23 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 9tuples 0.21/0.23 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 7tuples 0.21/0.23 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 5tuples 0.21/0.23 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 3tuples 0.21/0.29 c enable optimization 0.21/0.29 c ========================================[ Problem Statistics ]=========================================== 0.21/0.29 c | 0.21/0.29 c | Parse time : 0.22 s 0.21/0.29 c | 0.21/0.29 c | Variables: 1121 0.21/0.29 c | Domain Sizes: 2..65 0.21/0.29 c | 0.21/0.29 c | Constraints: 593 0.21/0.29 c | Arity: 2..33 -- Binary: 33 -- Ternary: 529 0.21/0.29 c | 0.21/0.29 c | Types: 0.21/0.29 c | Extension: 560 (nb tuples: 3..65) -- (shared: 4216) 0.21/0.29 c | Sum: 33 0.21/0.29 c | 0.21/0.29 c | Objective: Minimize Sum 0.21/0.29 0.21/0.29 c ========================================================================================================= 0.21/0.29 c Parallel mode: Portfolio 0.21/0.29 c [pFactory][Group N°0] created (threads:8). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.21/0.29 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] concurrent mode: enabled. 0.21/0.29 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.21/0.29 c [pFactory][Group N°0] task 7 launched on thread 0. 0.21/0.29 c [pFactory][Group N°0] task 6 launched on thread 1. 0.21/0.29 c [pFactory][Group N°0] task 5 launched on thread 2. 0.21/0.29 c [pFactory][Group N°0] task 4 launched on thread 6. 0.21/0.29 c [pFactory][Group N°0] task 3 launched on thread 7. 0.21/0.29 c [pFactory][Group N°0] task 2 launched on thread 5. 0.21/0.29 c [pFactory][Group N°0] task 1 launched on thread 3. 0.21/0.29 c [pFactory][Group N°0] task 0 launched on thread 4. 0.21/0.29 o 5340 0.21/0.29 o 4816 0.21/0.29 o 2520 0.60/0.32 o 1556 0.60/0.35 o 1468 0.60/0.37 o 568 0.60/0.41 o 540 1.40/0.42 o 520 1.40/0.48 o 492 1.40/0.49 o 468 1.40/0.50 o 232 2.91/0.68 o 192 4.44/0.85 o 180 50.76/6.67 o 176 62.01/8.04 o 172 68.33/8.88 o 156 93.08/12.00 o 152 107.46/13.70 o 144 117.91/15.09 o 136 137.82/17.56 o 132 240.81/30.41 o 128 297.52/37.59 o 116 442.87/55.70 o 112 474.81/59.73 o 100 4619.57/578.73 o 84 20123.69/2520.02 20123.69/2520.02 c *** INTERRUPTED *** 20123.69/2520.02 c call to solver : 21 20123.69/2520.02 c 20123.69/2520.02 c restarts : 339238 20123.69/2520.02 c conflicts : 3168694 (157 /sec) 20123.69/2520.02 c decisions : 64099974 (3185 /sec) 20123.69/2520.02 c propagations : 1620620826 (80534 /sec) 20123.69/2520.02 c root propagations : 2737 20123.69/2520.02 c filter calls : 1876856063 (93267 /sec) 20123.69/2520.02 c useless filter calls : 1010058413 (53 %) 20123.69/2520.02 c Memory used : 637.95 MB 20123.69/2520.02 c Best bound time (wc) : 578.732 s 20123.69/2520.02 c CPU time : 20123.4 s 20123.69/2520.02 c real time : 2520.02 s 20123.69/2520.02 20123.69/2520.02 s SATISFIABLE 20123.69/2520.02 c Best value found: 84 20123.69/2520.02 20123.69/2520.02 20123.69/2520.02 v <instantiation type='solution' cost='84'> 20123.69/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> 20123.69/2520.02 v <values>0 2 -3 2 -1 0 -1 -2 -3 -2 -1 -1 4 3 0 -1 0 1 2 1 0 1 0 2 1 1 0 -1 0 1 2 1 0 4 9 4 1 0 1 4 9 4 1 1 16 9 0 1 0 1 4 1 0 1 0 4 1 1 0 1 0 1 4 1 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 1 * * * * * * * * -1 * * 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 * * * * * * * * * 1 * * -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 * * * * * * * * * * -1 * * 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 * * 1 * * * * * * * * * * -1 * * -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 * * * -1 * * * * * * * * * * -1 * * 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 * * * * * 1 * * * * * * * * * * -1 * * 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 * * * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 1 1 -1 -1 -1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 * 1 1 -1 -1 1 -1 -1 1 1 1 * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 -1 1 -1 1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 1 1 1 1 -1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 1 1 -1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 1 -1 -1 -1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 -1 -1 1 -1 * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 1 1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 1 1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 * * 1 -1 -1 -1 -1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 1 * 1 * * -1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 -1 1 * * -1 * * -1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 * * * -1 * * -1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 * * * * -1 * * 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 * * * * * 1 * * 1 1 -1 1 1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 * * * * * * 1 * * 1 -1 1 -1 -1 1 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> 20123.69/2520.02 v </instantiation> 20123.69/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 (15391 MiB free) memory of node 1: 16384 MiB (15564 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409727-1569825684/watcher-4409727-1569825684 -o /tmp/evaluation-result-4409727-1569825684/solver-4409727-1569825684 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409727-1569825684.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=32215, runsolver pid=32212 Current StackSize limit: 8192 KiB [startup+0.10015 s]* /proc/loadavg: 7.95 8.28 8.35 2/190 32216 /proc/meminfo: memFree=31682904/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=44800 memory=20984 CPUtime=0.09 cores=0-7 /proc/32215/stat : 32215 (cosoco) R 32212 32215 30716 0 -1 4202496 5451 0 0 0 9 0 0 0 20 0 1 0 558825852 45875200 5246 33554432000 4194304 6211132 140734125204368 140734125200904 140460573862718 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 11200 5246 826 493 0 4505 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 44800 KiB Current children cumulated memory: 20984 KiB [startup+0.209094 s]* /proc/loadavg: 7.95 8.28 8.35 2/190 32216 /proc/meminfo: memFree=31667152/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=59716 memory=36228 CPUtime=0.21 cores=0-7 /proc/32215/stat : 32215 (cosoco) R 32212 32215 30716 0 -1 4202496 9243 0 0 0 20 1 0 0 20 0 1 0 558825852 61149184 9057 33554432000 4194304 6211132 140734125204368 140734125199112 140460573936171 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 14929 9057 857 493 0 8234 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 59716 KiB Current children cumulated memory: 36228 KiB [startup+0.309455 s]* /proc/loadavg: 7.95 8.28 8.35 9/198 32224 /proc/meminfo: memFree=31647532/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=56640 CPUtime=0.6 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 14473 0 0 0 57 3 0 0 20 0 9 0 558825852 668938240 14160 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 14160 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=6935054825532540783 CPUtime=0.04 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 534 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460566764816 5148716 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=0 CPUtime=0.04 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 539 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460558372112 140460573862718 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=0 CPUtime=0.04 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 530 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460549979408 5150174 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=0 CPUtime=0.04 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 549 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460541586704 140460573862718 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=0 CPUtime=0.03 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 535 0 0 0 3 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460533194000 5397255 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=0 CPUtime=0.03 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 526 0 0 0 3 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460524801296 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=0 CPUtime=0.04 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 534 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460516408592 5392113 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=0 CPUtime=0.04 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 532 0 0 0 4 0 0 0 20 0 9 0 558825876 668938240 14160 33554432000 4194304 6211132 140734125204368 140460508015336 5148862 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 56640 KiB [startup+0.701456 s] /proc/loadavg: 7.95 8.28 8.35 9/198 32224 /proc/meminfo: memFree=31644556/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=61128 CPUtime=3.64 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 15698 0 0 0 361 3 0 0 20 0 9 0 558825852 668938240 15282 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15282 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=1712 CPUtime=0.42 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 638 0 0 0 42 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460566764216 5148716 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=1136 CPUtime=0.43 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 666 0 0 0 43 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460558371512 5250266 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=1072 CPUtime=0.42 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 731 0 0 0 42 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460549978728 5397258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=6248 CPUtime=0.42 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 678 0 0 0 42 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460541586024 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=784 CPUtime=0.39 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 574 0 0 0 39 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460533193856 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=140652246808191 CPUtime=0.42 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 703 0 0 0 42 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460524800616 5396768 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=7523071198212214892 CPUtime=0.42 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 769 0 0 0 42 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460516408592 5035263 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=6004820471124940137 CPUtime=0.43 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 745 0 0 0 43 0 0 0 20 0 9 0 558825876 668938240 15282 33554432000 4194304 6211132 140734125204368 140460508015648 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 3.64 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 61128 KiB [startup+1.50146 s] /proc/loadavg: 7.95 8.28 8.35 9/198 32224 /proc/meminfo: memFree=31641580/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63184 CPUtime=10.03 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 29854 0 0 0 996 7 0 0 20 0 9 0 558825852 668938240 15796 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15796 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=0 CPUtime=1.22 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 2466 0 0 0 121 1 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460566764136 5397258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=2580 CPUtime=1.23 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 2690 0 0 0 123 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460558371432 5148766 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=1760 CPUtime=1.22 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 2016 0 0 0 122 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460549979408 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=1899516 CPUtime=1.22 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 2712 0 0 0 122 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460541586024 5392113 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=0 CPUtime=1.18 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 2297 0 0 0 118 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460533193320 5038947 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=140647831148752 CPUtime=1.22 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 2262 0 0 0 121 1 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460524800616 5039145 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=0 CPUtime=1.22 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 2115 0 0 0 122 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460516407912 5397366 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=0 CPUtime=1.23 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 3102 0 0 0 123 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460508015208 5035216 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 10.03 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63184 KiB [startup+3.11046 s] /proc/loadavg: 7.95 8.28 8.35 9/198 32224 /proc/meminfo: memFree=31640328/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63184 CPUtime=22.88 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 29921 0 0 0 2281 7 0 0 20 0 9 0 558825852 668938240 15796 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15796 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=0 CPUtime=2.83 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 2473 0 0 0 282 1 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460566764136 5009189 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=0 CPUtime=2.83 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 2695 0 0 0 283 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460558371432 5250283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=63184 CPUtime=2.83 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 2023 0 0 0 283 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460549979408 5148711 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=7679927811743456362 CPUtime=2.83 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 2722 0 0 0 283 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460541586024 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=56 CPUtime=2.76 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 2300 0 0 0 276 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460533193416 5392113 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=0 CPUtime=2.83 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 2280 0 0 0 282 1 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460524800616 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=0 CPUtime=2.83 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 2127 0 0 0 283 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460516407912 5250311 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63184 CPUtime=2.83 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 3107 0 0 0 283 0 0 0 20 0 9 0 558825876 668938240 15796 33554432000 4194304 6211132 140734125204368 140460508015208 5409485 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 22.88 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63184 KiB [startup+6.30145 s] /proc/loadavg: 7.96 8.28 8.34 9/198 32224 /proc/meminfo: memFree=31639716/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63552 CPUtime=48.37 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 71861 0 0 0 4824 13 0 0 20 0 9 0 558825852 668938240 15888 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15888 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=542 CPUtime=6.02 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 8269 0 0 0 600 2 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460566764136 5409485 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=0 CPUtime=6.03 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 7606 0 0 0 602 1 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460558371528 5039650 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=281295662151616 CPUtime=6.02 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 6790 0 0 0 601 1 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460549979408 5250319 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=140652246808191 CPUtime=6.02 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 7552 0 0 0 602 0 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460541586024 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=0 CPUtime=5.91 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 7261 0 0 0 591 0 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460533193416 5149076 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=0 CPUtime=6.01 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 7772 0 0 0 600 1 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460524800616 5396788 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=-6800859132029471843 CPUtime=6.02 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 8245 0 0 0 600 2 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460516407912 5186260 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63544 CPUtime=6.03 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 8172 0 0 0 602 1 0 0 20 0 9 0 558825876 668938240 15888 33554432000 4194304 6211132 140734125204368 140460508015208 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 48.37 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63552 KiB [startup+12.7015 s] /proc/loadavg: 7.96 8.27 8.34 9/198 32224 /proc/meminfo: memFree=31639268/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63640 CPUtime=99.48 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 85954 0 0 0 9934 14 0 0 20 0 9 0 558825852 668938240 15910 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15910 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=63640 CPUtime=12.42 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 10259 0 0 0 1240 2 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460566764216 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=2257 CPUtime=12.43 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 8890 0 0 0 1242 1 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460558372112 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=0 CPUtime=12.42 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 8689 0 0 0 1240 2 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460549978808 5397248 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=0 CPUtime=12.43 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 9580 0 0 0 1242 1 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460541586024 5039650 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=63640 CPUtime=12.24 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 8841 0 0 0 1223 1 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460533193416 5409493 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=63640 CPUtime=12.42 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 9533 0 0 0 1240 2 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460524800616 5035312 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=2372 CPUtime=12.42 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 9911 0 0 0 1240 2 0 0 20 0 9 0 558825876 668938240 15910 33554432000 4194304 6211132 140734125204368 140460516407992 5157594 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 ################ # More data... # ################ /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 32556 0 0 0 226188 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5380299 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2258.75 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 29175 0 0 0 225873 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5148882 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=63860 CPUtime=2234.95 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 27260 0 0 0 223491 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5148711 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=10680 CPUtime=2261.94 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 30957 0 0 0 226190 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5250321 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=984 CPUtime=2261.74 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 33661 0 0 0 226169 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5035344 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=2016 CPUtime=2262.11 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 31892 0 0 0 226209 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5397255 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 18065.5 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB [startup+2322.3 s] /proc/loadavg: 8.03 8.18 8.26 9/198 32422 /proc/meminfo: memFree=31639356/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63860 CPUtime=18544.7 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 258659 0 0 0 1854438 35 0 0 20 0 9 0 558825852 668938240 15965 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15965 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=63860 CPUtime=2321.78 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 31577 0 0 0 232174 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460566764216 5250304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=63860 CPUtime=2322.01 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 29677 0 0 0 232198 3 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460558371352 5409471 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=63860 CPUtime=2321.93 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 32897 0 0 0 232188 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5186344 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2317.95 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 29411 0 0 0 231793 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=63860 CPUtime=2294.94 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 27453 0 0 0 229490 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5039149 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=3624 CPUtime=2321.94 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 31269 0 0 0 232190 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5039650 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=63860 CPUtime=2321.73 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 33967 0 0 0 232168 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5389440 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63860 CPUtime=2322.12 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 32214 0 0 0 232210 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5193780 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 18544.7 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB [startup+2382.3 s] /proc/loadavg: 8.01 8.15 8.24 9/198 32427 /proc/meminfo: memFree=31639832/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63860 CPUtime=19023.9 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 260816 0 0 0 1902357 35 0 0 20 0 9 0 558825852 668938240 15965 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15965 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=3624 CPUtime=2381.79 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 31780 0 0 0 238175 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460566764216 5039189 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=63860 CPUtime=2382.01 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 29961 0 0 0 238198 3 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460558371352 5148719 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=6935054825532540783 CPUtime=2381.93 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 33244 0 0 0 238187 6 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2377.15 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 29696 0 0 0 237713 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5389440 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=63860 CPUtime=2354.94 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 27621 0 0 0 235490 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5396768 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=63860 CPUtime=2381.94 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 31507 0 0 0 238190 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5035272 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=63860 CPUtime=2381.72 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 34325 0 0 0 238167 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5397258 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63860 CPUtime=2382.12 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 32488 0 0 0 238210 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5038870 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 19023.9 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB [startup+2442.3 s] /proc/loadavg: 8.00 8.12 8.22 10/201 32439 /proc/meminfo: memFree=31638732/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63860 CPUtime=19503.1 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 262970 0 0 0 1950272 35 0 0 20 0 9 0 558825852 668938240 15965 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15965 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=63860 CPUtime=2441.78 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 31992 0 0 0 244174 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460566764216 5038722 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=63860 CPUtime=2442 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 30215 0 0 0 244197 3 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460558371352 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=63860 CPUtime=2441.93 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 33536 0 0 0 244187 6 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2436.34 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 29929 0 0 0 243632 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5396791 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=63860 CPUtime=2414.93 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 27797 0 0 0 241489 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5397267 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=63860 CPUtime=2441.95 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 31815 0 0 0 244191 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5039650 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=63860 CPUtime=2441.71 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 34637 0 0 0 244166 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63860 CPUtime=2442.12 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 32855 0 0 0 244210 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5035270 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 19503.1 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB [startup+2502.3 s] /proc/loadavg: 8.15 8.13 8.22 9/200 32441 /proc/meminfo: memFree=31638216/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63860 CPUtime=19982.3 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 265150 0 0 0 1998193 35 0 0 20 0 9 0 558825852 668938240 15965 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15965 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=63860 CPUtime=2501.78 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 32234 0 0 0 250174 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460566764216 5150980 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=111632 CPUtime=2502.02 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 30492 0 0 0 250198 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460558371352 5156264 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=63860 CPUtime=2501.93 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 33852 0 0 0 250187 6 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2495.53 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 30202 0 0 0 249551 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=6935054825532540783 CPUtime=2474.94 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 28009 0 0 0 247490 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5150724 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=63860 CPUtime=2501.96 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 32074 0 0 0 250192 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5409456 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=63860 CPUtime=2501.7 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 34939 0 0 0 250165 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5148719 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=63860 CPUtime=2502.12 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 33154 0 0 0 250210 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 19982.3 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.19 8.14 8.22 9/200 32444 /proc/meminfo: memFree=31637848/32770624 swapFree=66957944/67108860 [pid=32215] ppid=32212 vsize=653260 memory=63860 CPUtime=20123.7 cores=0-7 /proc/32215/stat : 32215 (cosoco) S 32212 32215 30716 0 -1 1077944320 265164 0 0 0 2012334 35 0 0 20 0 9 0 558825852 668938240 15965 33554432000 4194304 6211132 140734125204368 140734125202624 140460589907703 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 /proc/32215/statm: 163315 15965 905 493 0 156620 0 [pid=32215/tid=32217] ppid=32212 vsize=653260 memory=1398720917958146503 CPUtime=2519.49 cores=0-7 /proc/32215/task/32217/stat : 32217 (cosoco) R 32212 32215 30716 0 -1 4202560 32234 0 0 0 251945 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460566764216 5397276 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32218] ppid=32212 vsize=653260 memory=1408 CPUtime=2519.73 cores=0-7 /proc/32215/task/32218/stat : 32218 (cosoco) R 32212 32215 30716 0 -1 4202560 30492 0 0 0 251969 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460558371352 5158032 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32219] ppid=32212 vsize=653260 memory=2876 CPUtime=2519.64 cores=0-7 /proc/32215/task/32219/stat : 32219 (cosoco) R 32212 32215 30716 0 -1 4202560 33857 0 0 0 251958 6 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460549979408 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32220] ppid=32212 vsize=653260 memory=63860 CPUtime=2512.98 cores=0-7 /proc/32215/task/32220/stat : 32220 (cosoco) R 32212 32215 30716 0 -1 4202560 30204 0 0 0 251296 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460541586704 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32221] ppid=32212 vsize=653260 memory=4126316290023845779 CPUtime=2492.65 cores=0-7 /proc/32215/task/32221/stat : 32221 (cosoco) R 32212 32215 30716 0 -1 4202560 28009 0 0 0 249261 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460533193416 5149253 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32222] ppid=32212 vsize=653260 memory=111632 CPUtime=2519.67 cores=0-7 /proc/32215/task/32222/stat : 32222 (cosoco) R 32212 32215 30716 0 -1 4202560 32074 0 0 0 251963 4 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460524801152 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32223] ppid=32212 vsize=653260 memory=804 CPUtime=2519.4 cores=0-7 /proc/32215/task/32223/stat : 32223 (cosoco) R 32212 32215 30716 0 -1 4202560 34946 0 0 0 251935 5 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460516408592 5409485 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 [pid=32215/tid=32224] ppid=32212 vsize=653260 memory=1808 CPUtime=2519.83 cores=0-7 /proc/32215/task/32224/stat : 32224 (cosoco) R 32212 32215 30716 0 -1 4202560 33154 0 0 0 251981 2 0 0 20 0 9 0 558825876 668938240 15965 33554432000 4194304 6211132 140734125204368 140460508015288 5250316 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 13430784 140734125208593 140734125208685 140734125208685 140734125211598 0 Current children cumulated CPU time: 20123.7 s Current children cumulated vsize: 653260 KiB Current children cumulated memory: 63860 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 32215 was just reported to runsolver # cumulated CPU time of all completed processes: user=20123.4 s, system=0.361827 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): 20123.8 CPU user time (s): 20123.4 CPU system time (s): 0.361827 CPU usage (%): 798.556 Max. virtual memory (cumulated for all children) (KiB): 653260 Max. memory (cumulated for all children) (KiB): 63860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20123.4 system time used= 0.361827 maximum resident set size= 64008 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265212 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= 7480 involuntary context switches= 152758 # summary of solver processes directly reported to runsolver: # pid: 32215 # total CPU time (s): 20123.8 # total CPU user time (s): 20123.4 # total CPU system time (s): 0.361827 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 12.0166 second user time and 21.4477 second system time The end
Begin job on node105 at 2019-09-30 07:39:40 IDJOB=4409727 IDBENCH=127005 IDSOLVER=2877 FILE ID=node105/4409727-1569825684 RUNJOBID= node105-1569814250-30743 PBS_JOBID= 21705921 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409727-1569825684/watcher-4409727-1569825684 -o /tmp/evaluation-result-4409727-1569825684/solver-4409727-1569825684 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409727-1569825684.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=1851288643 node105.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.00 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: 31699068 kB MemAvailable: 31837016 kB Buffers: 103792 kB Cached: 375200 kB SwapCached: 47996 kB Active: 326404 kB Inactive: 202592 kB Active(anon): 4512 kB Inactive(anon): 124528 kB Active(file): 321892 kB Inactive(file): 78064 kB Unevictable: 110664 kB Mlocked: 110664 kB SwapTotal: 67108860 kB SwapFree: 66957944 kB Dirty: 2868 kB Writeback: 0 kB AnonPages: 250576 kB Mapped: 26892 kB Shmem: 70748 kB Slab: 136344 kB SReclaimable: 107652 kB SUnreclaim: 28692 kB KernelStack: 3728 kB PageTables: 5328 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 530404 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 204800 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 62028 MiB End job on node105 at 2019-09-30 08:21:40