Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.O parallel | SAT (TO) | 67 | 20124.1 | 2520.02 |
Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml |
MD5SUM | 0f1289c6216c2035de546c3b2133ae29 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT TO |
Best value of the objective obtained on this benchmark | 67 |
Best CPU time to get the best result obtained on this benchmark | 2520.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 991 |
Number of constraints | 525 |
Number of domains | 61 |
Minimum domain size | 2 |
Maximum domain size | 61 |
Distribution of domain sizes | [{"size":2,"count":497},{"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":33,"count":1},{"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}] |
Minimum variable degree | 0 |
Maximum variable degree | 30 |
Distribution of variable degrees | [{"degree":0,"count":435},{"degree":2,"count":525},{"degree":30,"count":31}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":31},{"arity":3,"count":466},{"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}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 495 |
Distribution of constraint types | [{"type":"intension","count":495},{"type":"sum","count":30}] |
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-4398521-1568604506.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 61tuples 0.10/0.18 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 59tuples 0.10/0.18 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 57tuples 0.10/0.18 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 55tuples 0.10/0.18 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 53tuples 0.10/0.18 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 51tuples 0.10/0.18 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 49tuples 0.10/0.18 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 47tuples 0.10/0.19 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 45tuples 0.10/0.19 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 43tuples 0.10/0.19 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 41tuples 0.10/0.19 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 39tuples 0.10/0.19 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 37tuples 0.10/0.19 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 35tuples 0.10/0.19 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 33tuples 0.10/0.19 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 31tuples 0.10/0.19 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 29tuples 0.10/0.19 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 27tuples 0.10/0.19 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 25tuples 0.10/0.19 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 23tuples 0.10/0.19 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 21tuples 0.10/0.19 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 19tuples 0.10/0.19 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 17tuples 0.10/0.20 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 15tuples 0.10/0.20 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 13tuples 0.10/0.20 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 11tuples 0.10/0.20 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 9tuples 0.10/0.20 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 7tuples 0.10/0.20 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 5tuples 0.10/0.20 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 3tuples 0.26/0.23 c enable optimization 0.26/0.23 c ========================================[ Problem Statistics ]=========================================== 0.26/0.23 c | 0.26/0.23 c | Parse time : 0.19 s 0.26/0.23 c | 0.26/0.23 c | Variables: 991 0.26/0.23 c | Domain Sizes: 2..61 0.26/0.23 c | 0.26/0.23 c | Constraints: 526 0.26/0.23 c | Arity: 2..31 -- Binary: 31 -- Ternary: 466 0.26/0.23 c | 0.26/0.23 c | Types: 0.26/0.23 c | Extension: 495 (nb tuples: 3..61) -- (shared: 3712) 0.26/0.23 c | Sum: 31 0.26/0.23 c | 0.26/0.23 c | Objective: Minimize Sum 0.26/0.23 0.26/0.23 c ========================================================================================================= 0.26/0.23 c Parallel mode: Portfolio 0.26/0.23 c [pFactory][Group N°0] created (threads:8). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.26/0.23 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.26/0.23 c [pFactory][Group N°0] concurrent mode: enabled. 0.26/0.23 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.26/0.23 c [pFactory][Group N°0] task 7 launched on thread 1. 0.26/0.23 c [pFactory][Group N°0] task 6 launched on thread 0. 0.26/0.23 c [pFactory][Group N°0] task 5 launched on thread 2. 0.26/0.23 c [pFactory][Group N°0] task 4 launched on thread 6. 0.26/0.23 c [pFactory][Group N°0] task 3 launched on thread 5. 0.26/0.23 c [pFactory][Group N°0] task 2 launched on thread 7. 0.26/0.23 c [pFactory][Group N°0] task 1 launched on thread 3. 0.26/0.23 c [pFactory][Group N°0] task 0 launched on thread 4. 0.26/0.23 o 9455 0.26/0.23 o 3903 0.26/0.25 o 423 0.26/0.26 o 359 0.26/0.28 o 351 0.26/0.30 o 339 0.26/0.31 o 319 0.26/0.31 o 207 0.96/0.34 o 203 0.96/0.41 o 171 3.27/0.68 o 163 4.79/0.80 o 151 5.60/0.92 o 147 13.59/1.90 o 135 32.74/4.35 o 123 83.02/10.68 o 119 119.03/15.14 o 107 122.15/15.52 o 91 364.88/45.91 o 71 9900.58/1239.93 o 67 20123.95/2520.02 20123.95/2520.02 c *** INTERRUPTED *** 20123.95/2520.02 c call to solver : 23 20123.95/2520.02 c 20123.95/2520.02 c restarts : 403629 20123.95/2520.02 c conflicts : 4196998 (209 /sec) 20123.95/2520.02 c decisions : 56628999 (2814 /sec) 20123.95/2520.02 c propagations : 2057953556 (102265 /sec) 20123.95/2520.02 c root propagations : 2416 20123.95/2520.02 c filter calls : 2574129889 (127915 /sec) 20123.95/2520.02 c useless filter calls : 1493328041 (58 %) 20123.95/2520.02 c Memory used : 631.77 MB 20123.95/2520.02 c Best bound time (wc) : 1239.93 s 20123.95/2520.02 c CPU time : 20123.8 s 20123.95/2520.02 c real time : 2520.02 s 20123.95/2520.02 20123.95/2520.02 s SATISFIABLE 20123.95/2520.02 c Best value found: 67 20123.95/2520.02 20123.95/2520.02 20123.95/2520.02 v <instantiation type='solution' cost='67'> 20123.95/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[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[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[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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][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][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][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][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][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][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][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][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][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][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 20123.95/2520.02 v <values>0 2 1 0 3 0 3 0 -1 -2 -3 -1 2 1 2 1 0 1 0 -1 0 -1 0 -1 2 -1 2 1 -2 1 0 4 1 0 9 0 9 0 1 4 9 1 4 1 4 1 0 1 0 1 0 1 0 1 4 1 4 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 </values> 20123.95/2520.02 v </instantiation> 20123.95/2520.02
OK 67
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 (14371 MiB free) memory of node 1: 16384 MiB (15505 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398521-1568604506/watcher-4398521-1568604506 -o /tmp/evaluation-result-4398521-1568604506/solver-4398521-1568604506 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568596704-22922 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398521-1568604506.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=24082, runsolver pid=24079 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 6.85 8.16 8.60 2/191 24083 /proc/meminfo: memFree=30578876/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=43608 memory=19928 CPUtime=0.1 cores=0-7 /proc/24082/stat : 24082 (cosoco) R 24079 24082 22895 0 -1 4202496 5163 0 0 0 10 0 0 0 20 0 1 0 436717394 44654592 4982 33554432000 4194304 6211092 140725159466704 140725159463240 139890669583333 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 10902 4982 826 493 0 4207 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43608 KiB Current children cumulated memory: 19928 KiB [startup+0.213024 s]* /proc/loadavg: 6.85 8.16 8.60 4/199 24091 /proc/meminfo: memFree=30563996/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=33972 CPUtime=0.26 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 8980 0 0 0 25 1 0 0 20 0 9 0 436717394 662450176 8493 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 8493 892 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) D 24079 24082 22895 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890662480568 139890670059095 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=280706186135288 CPUtime=0 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) D 24079 24082 22895 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890654087704 139890669579070 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=140353164461696 CPUtime=0 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890645695000 139890670059095 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) D 24079 24082 22895 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890637302376 139890670059095 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890628910264 139890669583333 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) D 24079 24082 22895 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890620517048 139890669579070 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=-1 CPUtime=0 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) D 24079 24082 22895 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890612124232 139890669579070 0 0 4096 8405026 18446744071582151416 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) D 24079 24082 22895 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 9 0 436717415 662450176 8493 33554432000 4194304 6211092 140725159466704 139890603731528 139890669579070 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 0.26 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 33972 KiB [startup+0.310414 s]* /proc/loadavg: 6.85 8.16 8.60 10/199 24091 /proc/meminfo: memFree=30550996/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=47936 CPUtime=0.96 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 12566 0 0 0 94 2 0 0 20 0 9 0 436717394 662450176 11984 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 11984 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=576567874760998942 CPUtime=0.09 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 457 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890662480928 5397223 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=301741399244800326 CPUtime=0.09 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 473 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890654087704 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=321957980604795008 CPUtime=0.09 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 483 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890645695520 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=7517363405094662191 CPUtime=0.09 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 437 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890637302184 5035263 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=-6804530833007812508 CPUtime=0.09 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 459 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890628909592 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=-7966001967407402336 CPUtime=0.09 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 515 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890620516888 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=7378595185890260846 CPUtime=0.08 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 517 0 0 0 8 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890612124944 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=6944656592387989600 CPUtime=0.09 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 588 0 0 0 9 0 0 0 20 0 9 0 436717415 662450176 11984 33554432000 4194304 6211092 140725159466704 139890603731824 5397226 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 0.96 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 47936 KiB [startup+0.705415 s] /proc/loadavg: 6.85 8.16 8.60 9/199 24091 /proc/meminfo: memFree=30549508/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=49520 CPUtime=4.03 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 12971 0 0 0 401 2 0 0 20 0 9 0 436717394 662450176 12380 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12380 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=0 CPUtime=0.48 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 522 0 0 0 48 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890662480832 5250272 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=0 CPUtime=0.48 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 577 0 0 0 48 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890654087704 5009047 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=0 CPUtime=0.47 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 572 0 0 0 47 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890645695080 5150948 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=0 CPUtime=0.48 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 447 0 0 0 48 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890637302456 5035270 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=1376 CPUtime=0.47 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 522 0 0 0 47 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890628909592 5397449 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=1060 CPUtime=0.48 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 533 0 0 0 48 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890620517648 5409453 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=4068 CPUtime=0.45 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 573 0 0 0 45 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890612124264 5035286 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=1720 CPUtime=0.47 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 588 0 0 0 47 0 0 0 20 0 9 0 436717415 662450176 12380 33554432000 4194304 6211092 140725159466704 139890603732000 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 4.03 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 49520 KiB [startup+1.50142 s] /proc/loadavg: 6.85 8.16 8.60 9/199 24091 /proc/meminfo: memFree=30548452/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51468 CPUtime=10.39 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 23250 0 0 0 1033 6 0 0 20 0 9 0 436717394 662450176 12867 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12867 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=1060 CPUtime=1.27 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 1776 0 0 0 127 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890662480488 5035240 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=4068 CPUtime=1.27 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 2431 0 0 0 127 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890654088464 5250279 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=1720 CPUtime=1.27 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 2196 0 0 0 126 1 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890645695760 5035320 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=0 CPUtime=1.27 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 1661 0 0 0 127 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890637302296 5396756 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=0 CPUtime=1.26 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 1388 0 0 0 126 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890628909672 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=0 CPUtime=1.27 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 1294 0 0 0 127 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890620516968 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=0 CPUtime=1.23 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 1959 0 0 0 123 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890612124264 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=107 CPUtime=1.27 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 1908 0 0 0 127 0 0 0 20 0 9 0 436717415 662450176 12867 33554432000 4194304 6211092 140725159466704 139890603731560 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 10.39 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51468 KiB [startup+3.11041 s] /proc/loadavg: 6.85 8.16 8.60 9/199 24091 /proc/meminfo: memFree=30548328/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51496 CPUtime=23.24 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 23312 0 0 0 2318 6 0 0 20 0 9 0 436717394 662450176 12874 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12874 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=0 CPUtime=2.87 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 1783 0 0 0 287 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890662481168 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=140353021860897 CPUtime=2.88 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 2438 0 0 0 288 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890654088464 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=280706043727584 CPUtime=2.88 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 2198 0 0 0 287 1 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890645695760 5396614 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=56 CPUtime=2.88 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 1662 0 0 0 288 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890637302456 5149120 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=10564 CPUtime=2.87 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 1394 0 0 0 287 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890628909672 5148684 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=716 CPUtime=2.88 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 1303 0 0 0 288 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890620516968 5392081 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=0 CPUtime=2.81 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 1974 0 0 0 281 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890612124344 5396756 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=9266 CPUtime=2.88 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 1923 0 0 0 288 0 0 0 20 0 9 0 436717415 662450176 12874 33554432000 4194304 6211092 140725159466704 139890603732240 5158006 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 23.24 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51496 KiB [startup+6.30142 s] /proc/loadavg: 6.87 8.14 8.59 9/199 24091 /proc/meminfo: memFree=30548456/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51572 CPUtime=48.71 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 43661 0 0 0 4864 7 0 0 20 0 9 0 436717394 662450176 12893 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12893 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=1720 CPUtime=6.07 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 4872 0 0 0 606 1 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890662481168 5008816 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=5944 CPUtime=6.07 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 5804 0 0 0 607 0 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890654088464 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=51568 CPUtime=6.07 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 4751 0 0 0 606 1 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890645695760 5193744 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=0 CPUtime=6.07 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 3908 0 0 0 607 0 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890637302456 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=56 CPUtime=6.07 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 4014 0 0 0 606 1 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890628910352 5035286 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=6944656592387989600 CPUtime=6.07 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 3269 0 0 0 607 0 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890620516968 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=0 CPUtime=5.96 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 4217 0 0 0 596 0 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890612124344 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=0 CPUtime=6.07 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 4189 0 0 0 607 0 0 0 20 0 9 0 436717415 662450176 12893 33554432000 4194304 6211092 140725159466704 139890603731640 5186317 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 48.71 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51572 KiB [startup+12.7014 s] /proc/loadavg: 6.96 8.14 8.59 9/199 24091 /proc/meminfo: memFree=30546928/32770624 swapFree=66967336/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51640 CPUtime=99.79 cores=0-7 ################ # More data... # ################ /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 18407 0 0 0 226192 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890645695760 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=6935054825532540783 CPUtime=2250.65 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 29031 0 0 0 225062 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890637302456 5397244 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=51752 CPUtime=2261.81 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 12921 0 0 0 226180 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890628910016 5250251 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=51752 CPUtime=2249.64 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14054 0 0 0 224962 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890620516888 5149221 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=0 CPUtime=2259.48 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 17632 0 0 0 225946 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890612124344 5409449 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=51752 CPUtime=2258.37 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15288 0 0 0 225836 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890603731640 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 18065.8 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51752 KiB [startup+2322.3 s] /proc/loadavg: 8.14 8.22 8.23 9/199 24290 /proc/meminfo: memFree=30547224/32770624 swapFree=66967340/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51752 CPUtime=18545 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 157903 0 0 0 1854475 21 0 0 20 0 9 0 436717394 662450176 12938 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12938 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=51752 CPUtime=2321.73 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 18381 0 0 0 232170 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890662481168 5193754 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=51752 CPUtime=2321.88 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 22172 0 0 0 232186 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890654088208 5391294 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=51752 CPUtime=2321.94 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 18592 0 0 0 232191 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890645695760 5148787 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=51752 CPUtime=2310.65 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 29546 0 0 0 231062 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890637302456 5035278 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=3620 CPUtime=2321.8 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 13036 0 0 0 232179 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890628910016 5250224 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=44892 CPUtime=2308.86 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14232 0 0 0 230884 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890620516888 5149648 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=6935054825532540783 CPUtime=2319.48 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 17850 0 0 0 231946 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890612124344 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=44892 CPUtime=2318.36 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15457 0 0 0 231835 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890603731640 5150972 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 18545 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51752 KiB [startup+2382.3 s] /proc/loadavg: 8.05 8.18 8.22 9/199 24293 /proc/meminfo: memFree=30547900/32770624 swapFree=66967340/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51752 CPUtime=19024.2 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 159612 0 0 0 1902394 21 0 0 20 0 9 0 436717394 662450176 12938 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12938 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=51752 CPUtime=2381.72 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 18525 0 0 0 238169 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890662481168 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=51752 CPUtime=2381.86 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 22371 0 0 0 238184 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890654088208 5409424 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=51752 CPUtime=2381.94 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 18813 0 0 0 238191 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890645695760 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=51752 CPUtime=2370.63 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 30090 0 0 0 237060 3 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890637302456 5193744 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=3620 CPUtime=2381.79 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 13105 0 0 0 238178 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890628910016 5009388 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=51752 CPUtime=2368.1 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14360 0 0 0 236808 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890620516888 5035272 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=51752 CPUtime=2379.48 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 18058 0 0 0 237946 2 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890612124344 5035312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=51752 CPUtime=2378.36 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15653 0 0 0 237835 1 0 0 20 0 9 0 436717415 662450176 12938 33554432000 4194304 6211092 140725159466704 139890603731640 5250251 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 19024.2 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51752 KiB [startup+2442.3 s] /proc/loadavg: 8.22 8.19 8.22 9/199 24297 /proc/meminfo: memFree=30547588/32770624 swapFree=66967340/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51760 CPUtime=19503.3 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 161355 0 0 0 1950313 21 0 0 20 0 9 0 436717394 662450176 12940 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12940 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=51760 CPUtime=2441.71 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 18658 0 0 0 244168 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890662481168 5009388 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=51760 CPUtime=2441.85 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 22573 0 0 0 244183 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890654088208 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=51760 CPUtime=2441.94 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 19015 0 0 0 244191 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890645695760 5148855 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=51752 CPUtime=2430.62 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 30621 0 0 0 243059 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890637302456 5409461 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=3620 CPUtime=2441.78 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 13234 0 0 0 244177 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890628910016 5035302 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=51760 CPUtime=2427.33 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14547 0 0 0 242731 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890620516888 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=51760 CPUtime=2439.48 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 18250 0 0 0 243946 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890612124344 5035312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=51760 CPUtime=2438.35 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15820 0 0 0 243834 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890603731640 5148679 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 19503.3 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51760 KiB [startup+2502.3 s] /proc/loadavg: 8.60 8.30 8.25 9/199 24302 /proc/meminfo: memFree=30546520/32770624 swapFree=66967340/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51760 CPUtime=19982.5 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 163124 0 0 0 1998230 21 0 0 20 0 9 0 436717394 662450176 12940 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12940 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=6935054825532540783 CPUtime=2501.71 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 18853 0 0 0 250168 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890662481168 5035312 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=51760 CPUtime=2501.85 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 22789 0 0 0 250183 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890654088208 5156133 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=51760 CPUtime=2501.92 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 19210 0 0 0 250189 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890645695760 5039065 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=51760 CPUtime=2490.61 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 31168 0 0 0 249058 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890637302456 5409453 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=51760 CPUtime=2501.78 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 13374 0 0 0 250177 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890628910016 5148679 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=984 CPUtime=2486.55 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14669 0 0 0 248653 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890620516888 5193744 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=44892 CPUtime=2499.49 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 18481 0 0 0 249947 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890612124344 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=51760 CPUtime=2498.35 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15943 0 0 0 249834 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890603731640 5391714 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 19982.5 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51760 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.65 8.33 8.27 9/199 24302 /proc/meminfo: memFree=30546728/32770624 swapFree=66967340/67108860 [pid=24082] ppid=24079 vsize=646924 memory=51760 CPUtime=20123.9 cores=0-7 /proc/24082/stat : 24082 (cosoco) S 24079 24082 22895 0 -1 1077944320 163129 0 0 0 2012374 21 0 0 20 0 9 0 436717394 662450176 12940 33554432000 4194304 6211092 140725159466704 140725159464960 139890685624055 0 0 4096 8405026 18446744073709551615 0 0 17 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 /proc/24082/statm: 161731 12940 893 493 0 155036 0 [pid=24082/tid=24084] ppid=24079 vsize=646924 memory=8317482817917895235 CPUtime=2519.41 cores=0-7 /proc/24082/task/24084/stat : 24084 (cosoco) R 24079 24082 22895 0 -1 4202560 18854 0 0 0 251938 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890662481168 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24085] ppid=24079 vsize=646924 memory=-7003737579269690708 CPUtime=2519.56 cores=0-7 /proc/24082/task/24085/stat : 24085 (cosoco) R 24079 24082 22895 0 -1 4202560 22789 0 0 0 251954 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890654088208 5193754 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24086] ppid=24079 vsize=646924 memory=1556 CPUtime=2519.62 cores=0-7 /proc/24082/task/24086/stat : 24086 (cosoco) R 24079 24082 22895 0 -1 4202560 19210 0 0 0 251959 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890645695760 5157937 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24087] ppid=24079 vsize=646924 memory=928 CPUtime=2508.32 cores=0-7 /proc/24082/task/24087/stat : 24087 (cosoco) R 24079 24082 22895 0 -1 4202560 31168 0 0 0 250829 3 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890637302456 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24088] ppid=24079 vsize=646924 memory=1520 CPUtime=2519.48 cores=0-7 /proc/24082/task/24088/stat : 24088 (cosoco) R 24079 24082 22895 0 -1 4202560 13376 0 0 0 251947 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890628910016 5250287 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24089] ppid=24079 vsize=646924 memory=1980 CPUtime=2504.03 cores=0-7 /proc/24082/task/24089/stat : 24089 (cosoco) R 24079 24082 22895 0 -1 4202560 14669 0 0 0 250401 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890620516888 5157547 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24090] ppid=24079 vsize=646924 memory=4100 CPUtime=2517.19 cores=0-7 /proc/24082/task/24090/stat : 24090 (cosoco) R 24079 24082 22895 0 -1 4202560 18483 0 0 0 251717 2 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890612124344 5009388 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 [pid=24082/tid=24091] ppid=24079 vsize=646924 memory=1404 CPUtime=2516.05 cores=0-7 /proc/24082/task/24091/stat : 24091 (cosoco) R 24079 24082 22895 0 -1 4202560 15943 0 0 0 251604 1 0 0 20 0 9 0 436717415 662450176 12940 33554432000 4194304 6211092 140725159466704 139890603731640 5157737 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 23080960 140725159470097 140725159470189 140725159470189 140725159473102 0 Current children cumulated CPU time: 20124 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51760 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 24082 was just reported to runsolver # cumulated CPU time of all completed processes: user=20123.8 s, system=0.21989 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): 20124.1 CPU user time (s): 20123.8 CPU system time (s): 0.21989 CPU usage (%): 798.566 Max. virtual memory (cumulated for all children) (KiB): 646924 Max. memory (cumulated for all children) (KiB): 51760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20123.8 system time used= 0.21989 maximum resident set size= 52012 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 163174 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= 4918 involuntary context switches= 166022 # summary of solver processes directly reported to runsolver: # pid: 24082 # total CPU time (s): 20124.1 # total CPU user time (s): 20123.8 # total CPU system time (s): 0.21989 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.2462 second user time and 20.9299 second system time The end
Begin job on node125 at 2019-09-16 05:27:43 IDJOB=4398521 IDBENCH=127027 IDSOLVER=2851 FILE ID=node125/4398521-1568604506 RUNJOBID= node125-1568596704-22922 PBS_JOBID= 21703400 Free space on /tmp= 59756 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-031.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398521-1568604506/watcher-4398521-1568604506 -o /tmp/evaluation-result-4398521-1568604506/solver-4398521-1568604506 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node125-1568596704-22922 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398521-1568604506.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29 RANDOM SEED=646086784 node125.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.29 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.29 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.29 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.29 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: 30594148 kB MemAvailable: 31863156 kB Buffers: 181744 kB Cached: 1385632 kB SwapCached: 38412 kB Active: 684120 kB Inactive: 925760 kB Active(anon): 21076 kB Inactive(anon): 69552 kB Active(file): 663044 kB Inactive(file): 856208 kB Unevictable: 107780 kB Mlocked: 107780 kB SwapTotal: 67108860 kB SwapFree: 66967336 kB Dirty: 2784 kB Writeback: 168 kB AnonPages: 113372 kB Mapped: 46800 kB Shmem: 39748 kB Slab: 160620 kB SReclaimable: 131180 kB SUnreclaim: 29440 kB KernelStack: 3376 kB PageTables: 5184 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505792 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 59756 MiB End job on node125 at 2019-09-16 06:09:43