Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
cosoco 2.0 parallel | SAT (TO) | 71 | 20120.9 | 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-4409781-1569825962.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension 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.18 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 45tuples 0.10/0.18 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.19 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 15tuples 0.10/0.19 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 13tuples 0.10/0.19 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 11tuples 0.10/0.19 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 9tuples 0.10/0.19 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 7tuples 0.10/0.19 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.23/0.24 c enable optimization 0.23/0.24 c ========================================[ Problem Statistics ]=========================================== 0.23/0.24 c | 0.23/0.24 c | Parse time : 0.19 s 0.23/0.24 c | 0.23/0.24 c | Variables: 991 0.23/0.24 c | Domain Sizes: 2..61 0.23/0.24 c | 0.23/0.24 c | Constraints: 526 0.23/0.24 c | Arity: 2..31 -- Binary: 31 -- Ternary: 466 0.23/0.24 c | 0.23/0.24 c | Types: 0.23/0.24 c | Extension: 495 (nb tuples: 3..61) -- (shared: 3712) 0.23/0.24 c | Sum: 31 0.23/0.24 c | 0.23/0.24 c | Objective: Minimize Sum 0.23/0.24 0.23/0.24 c ========================================================================================================= 0.23/0.24 c Parallel mode: Portfolio 0.23/0.24 c [pFactory][Group N°0] created (threads:8). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.23/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.23/0.24 c [pFactory][Group N°0] concurrent mode: enabled. 0.23/0.24 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.23/0.24 c [pFactory][Group N°0] task 7 launched on thread 1. 0.23/0.24 c [pFactory][Group N°0] task 6 launched on thread 2. 0.23/0.24 c [pFactory][Group N°0] task 5 launched on thread 0. 0.23/0.24 c [pFactory][Group N°0] task 4 launched on thread 6. 0.23/0.24 c [pFactory][Group N°0] task 3 launched on thread 7. 0.23/0.24 c [pFactory][Group N°0] task 2 launched on thread 4. 0.23/0.24 c [pFactory][Group N°0] task 1 launched on thread 3. 0.23/0.24 c [pFactory][Group N°0] task 0 launched on thread 5. 0.23/0.24 o 9455 0.23/0.24 o 3903 0.23/0.27 o 423 0.23/0.31 o 359 0.66/0.33 o 351 0.66/0.36 o 207 1.43/0.48 o 171 9.29/1.45 o 167 14.95/2.13 o 135 26.86/3.62 o 131 67.55/8.77 o 127 72.34/9.32 o 111 154.57/19.64 o 107 210.47/26.61 o 95 504.31/63.49 o 75 9589.09/1201.17 o 71 20120.80/2520.02 20120.80/2520.02 c *** INTERRUPTED *** 20120.80/2520.02 c call to solver : 16 20120.80/2520.02 c 20120.80/2520.02 c restarts : 521265 20120.80/2520.02 c conflicts : 4307422 (214 /sec) 20120.80/2520.02 c decisions : 68166960 (3388 /sec) 20120.80/2520.02 c propagations : 1788406866 (88884 /sec) 20120.80/2520.02 c root propagations : 2416 20120.80/2520.02 c filter calls : 2145399305 (106626 /sec) 20120.80/2520.02 c useless filter calls : 1192872468 (55 %) 20120.80/2520.02 c Memory used : 631.77 MB 20120.80/2520.02 c Best bound time (wc) : 1201.17 s 20120.80/2520.02 c CPU time : 20120.7 s 20120.80/2520.02 c real time : 2520.02 s 20120.80/2520.02 20120.80/2520.02 s SATISFIABLE 20120.80/2520.02 c Best value found: 71 20120.80/2520.02 20120.80/2520.02 20120.80/2520.02 v <instantiation type='solution' cost='71'> 20120.80/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> 20120.80/2520.02 v <values>0 -2 1 0 1 2 1 2 -1 2 -3 -1 0 -1 -2 -1 0 1 -2 1 0 -1 -2 1 -2 -1 0 1 4 -1 0 4 1 0 1 4 1 4 1 4 9 1 0 1 4 1 0 1 4 1 0 1 4 1 4 1 0 1 16 1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 * * * * * * * * * * -1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 * 1 * * * * * * * * * * -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 * * 1 * * * * * * * * * * -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 -1 * * * 1 * * * * * * * * * * 1 -1 -1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 * * * * -1 * * * * * * * * * * 1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 * * * * * -1 * * * * * * * * * * -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 * * * * * * 1 * * * * * * * * * * -1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 * * * * * * * 1 * * * * * * * * * * -1 -1 1 1 -1 1 -1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 -1 -1 1 1 -1 -1 1 -1 1 * * * * * * * * * -1 * * * * * * * * * * 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 * 1 1 1 -1 1 1 -1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 1 1 -1 1 -1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 1 -1 -1 * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 -1 -1 -1 * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 -1 -1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * -1 1 * * * * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 1 1 * * -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 1 * * * 1 -1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 * * * * 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 * * * * * 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 * * * * * * 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 * * * * * * * -1 1 -1 1 -1 -1 1 1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 * * * * * * * * -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 * * * * * * * * * -1 1 -1 1 1 1 -1 -1 </values> 20120.80/2520.02 v </instantiation> 20120.80/2520.02
OK 71
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 (15266 MiB free) memory of node 1: 16384 MiB (15580 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409781-1569825962/watcher-4409781-1569825962 -o /tmp/evaluation-result-4409781-1569825962/solver-4409781-1569825962 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409781-1569825962.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=540, runsolver pid=537 [startup+0.100152 s]* /proc/loadavg: 8.46 8.23 8.03 2/190 541 /proc/meminfo: memFree=31573020/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=43204 memory=19396 CPUtime=0.1 cores=0-7 /proc/540/stat : 540 (cosoco) R 537 540 31775 0 -1 4202496 5065 0 0 0 9 1 0 0 20 0 1 0 558852467 44240896 4849 33554432000 4194304 6211132 140721891932112 140721891926432 140514490891237 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 10801 4849 826 493 0 4106 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 43204 KiB Current children cumulated memory: 19396 KiB [startup+0.20929 s]* /proc/loadavg: 8.46 8.23 8.03 10/198 551 /proc/meminfo: memFree=31558012/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=450316 memory=33712 CPUtime=0.23 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 8738 0 0 0 22 1 0 0 20 0 9 0 558852467 461123584 8428 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 112579 8428 886 493 0 105884 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=8318255677412212789 CPUtime=0 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8428 33554432000 4194304 6211132 140721891932112 140514483788312 140514490886974 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=339 CPUtime=0 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) D 537 540 31775 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514475395608 140514491366999 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=139793995375295 CPUtime=0 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) D 537 540 31775 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514467002904 140514490886974 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=-1 CPUtime=0 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514458610872 140514490891237 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514450218168 140514490891237 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514441825464 140514490891237 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=-1 CPUtime=0 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) D 537 540 31775 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514433432088 140514490886974 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=0 CPUtime=0 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) D 537 540 31775 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 9 0 558852488 662450176 8493 33554432000 4194304 6211132 140721891932112 140514425039384 140514491366999 0 0 4096 8405026 18446744071582151463 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 0.23 s Current children cumulated vsize: 450316 KiB Current children cumulated memory: 33712 KiB [startup+0.31011 s]* /proc/loadavg: 8.46 8.23 8.03 7/198 551 /proc/meminfo: memFree=31546840/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=46880 CPUtime=0.66 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 12206 0 0 0 63 3 0 0 20 0 9 0 558852467 662450176 11720 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 11720 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=1398720917958146503 CPUtime=0.05 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 425 0 0 0 5 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514483788216 140514491366999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=4126316290023845779 CPUtime=0.06 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 437 0 0 0 6 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514475395608 140514491366999 0 0 4096 8405026 18446744071582151463 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=0 CPUtime=0.05 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 422 0 0 0 5 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514467003424 5148707 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=0 CPUtime=0.04 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) D 537 540 31775 0 -1 4202560 426 0 0 0 4 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514458610280 140514491366999 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=0 CPUtime=0.04 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 520 0 0 0 4 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514450217576 5035283 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=0 CPUtime=0.04 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) D 537 540 31775 0 -1 4202560 425 0 0 0 4 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514441824792 140514490886974 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=0 CPUtime=0.06 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) D 537 540 31775 0 -1 4202560 492 0 0 0 6 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514433432088 140514490886974 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=0 CPUtime=0.06 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 462 0 0 0 6 0 0 0 20 0 9 0 558852488 662450176 11786 33554432000 4194304 6211132 140721891932112 140514425039272 140514490886974 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 0.66 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 46880 KiB [startup+0.701115 s] /proc/loadavg: 8.46 8.23 8.03 9/198 551 /proc/meminfo: memFree=31544236/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=50048 CPUtime=3.7 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 13053 0 0 0 367 3 0 0 20 0 9 0 558852467 662450176 12512 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 12512 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=780 CPUtime=0.44 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 546 0 0 0 44 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514483788200 5009388 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=4004 CPUtime=0.45 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 578 0 0 0 45 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514475395688 5035320 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=1228 CPUtime=0.44 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 562 0 0 0 44 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514467003424 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=6252 CPUtime=0.42 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 519 0 0 0 42 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514458610280 5035283 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=7552 CPUtime=0.42 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 594 0 0 0 42 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514450217576 5155992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=139798286431871 CPUtime=0.4 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 520 0 0 0 40 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514441824872 5250325 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=7594598810448980326 CPUtime=0.44 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 577 0 0 0 44 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514433432608 5250273 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=6935653653823705168 CPUtime=0.44 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 520 0 0 0 44 0 0 0 20 0 9 0 558852488 662450176 12512 33554432000 4194304 6211132 140721891932112 140514425039464 5396782 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 3.7 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 50048 KiB [startup+1.50111 s] /proc/loadavg: 8.46 8.23 8.03 9/198 551 /proc/meminfo: memFree=31543120/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=51868 CPUtime=10.09 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 23280 0 0 0 1003 6 0 0 20 0 9 0 558852467 662450176 12967 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 12967 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=51868 CPUtime=1.23 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 2385 0 0 0 123 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514483788392 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=2480 CPUtime=1.25 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 2060 0 0 0 124 1 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514475395768 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=139798286431871 CPUtime=1.24 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 2016 0 0 0 123 1 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514467003064 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=6944656592455097440 CPUtime=1.22 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 1731 0 0 0 122 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514458610280 5038700 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=6943526294502006880 CPUtime=1.22 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 1421 0 0 0 122 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514450218256 5193786 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=6944656592455097440 CPUtime=1.19 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 1929 0 0 0 119 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514441824872 5148711 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=6944656592455097440 CPUtime=1.24 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 1733 0 0 0 124 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514433432168 5158060 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=6944656592455360604 CPUtime=1.23 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 1368 0 0 0 123 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514425039464 5392113 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 10.09 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51868 KiB [startup+3.11011 s] /proc/loadavg: 8.51 8.24 8.03 9/198 551 /proc/meminfo: memFree=31541136/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=51868 CPUtime=22.93 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 23313 0 0 0 2287 6 0 0 20 0 9 0 558852467 662450176 12967 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 12967 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=0 CPUtime=2.84 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 2407 0 0 0 284 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514483788832 5396788 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=6252 CPUtime=2.85 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 2060 0 0 0 284 1 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514475396112 5149786 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=7552 CPUtime=2.85 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 2018 0 0 0 284 1 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514467002984 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=2832 CPUtime=2.83 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 1733 0 0 0 283 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514458610280 5250304 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=33 CPUtime=2.83 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 1421 0 0 0 283 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514450218256 5148711 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=7091307220103293287 CPUtime=2.77 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 1930 0 0 0 277 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514441824952 5035278 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=7667497544135819372 CPUtime=2.85 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 1737 0 0 0 285 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514433432168 5038576 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=50312 CPUtime=2.84 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 1370 0 0 0 284 0 0 0 20 0 9 0 558852488 662450176 12967 33554432000 4194304 6211132 140721891932112 140514425040000 5009388 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 22.93 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 51868 KiB [startup+6.30112 s] /proc/loadavg: 8.51 8.24 8.03 9/198 551 /proc/meminfo: memFree=31541440/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52132 CPUtime=48.42 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 52790 0 0 0 4833 9 0 0 20 0 9 0 558852467 662450176 13033 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13033 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=3184237713138396841 CPUtime=6.03 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 6375 0 0 0 603 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514483788832 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=-7595718148000617580 CPUtime=6.04 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 7383 0 0 0 603 1 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514475395688 5009258 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=-7523660554767919482 CPUtime=6.03 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 6520 0 0 0 602 1 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514467003664 5038759 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=139793870695183 CPUtime=6.01 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 4684 0 0 0 601 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514458610280 5409485 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=288370398528353256 CPUtime=6.02 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 4182 0 0 0 602 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514450218256 5148716 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=14839384755221512 CPUtime=5.92 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 5439 0 0 0 592 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514441824952 5409493 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=139793870697488 CPUtime=6.04 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 5160 0 0 0 604 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514433432168 5396788 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=139793870697520 CPUtime=6.03 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 4410 0 0 0 603 0 0 0 20 0 9 0 558852488 662450176 13033 33554432000 4194304 6211132 140721891932112 140514425040000 5149152 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 48.42 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52132 KiB [startup+12.7011 s] /proc/loadavg: 8.47 8.24 8.03 9/198 552 /proc/meminfo: memFree=31539464/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52172 CPUtime=99.49 cores=0-7 ################ # More data... # ################ /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 20689 0 0 0 226162 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5250311 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=52280 CPUtime=2256.07 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 12918 0 0 0 225606 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5392096 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=52280 CPUtime=2261.53 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14166 0 0 0 226152 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5035278 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=52280 CPUtime=2254.94 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14559 0 0 0 225493 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5392115 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=0 CPUtime=2250.36 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 17781 0 0 0 225034 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5193786 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=52280 CPUtime=2261.5 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 15715 0 0 0 226148 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5250311 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 18062.9 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB [startup+2322.3 s] /proc/loadavg: 8.05 8.20 8.25 9/199 773 /proc/meminfo: memFree=31539912/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52280 CPUtime=18542.1 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 150419 0 0 0 1854186 20 0 0 20 0 9 0 558852467 662450176 13070 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13070 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=52280 CPUtime=2315.21 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 20939 0 0 0 231519 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514483789072 5008971 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=52280 CPUtime=2321.23 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 24039 0 0 0 232119 4 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514475395768 5250499 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=52280 CPUtime=2321.64 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 20917 0 0 0 232161 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5158035 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=52280 CPUtime=2316.06 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13029 0 0 0 231605 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5150186 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=52280 CPUtime=2321.53 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14340 0 0 0 232152 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5149152 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=3616 CPUtime=2314.51 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14673 0 0 0 231450 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5158032 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=52280 CPUtime=2310.11 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 17975 0 0 0 231009 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5149168 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=111632 CPUtime=2321.49 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 15870 0 0 0 232147 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5250256 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 18542.1 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB [startup+2382.3 s] /proc/loadavg: 8.06 8.18 8.24 9/198 778 /proc/meminfo: memFree=31539968/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52280 CPUtime=19021.2 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 151738 0 0 0 1902097 20 0 0 20 0 9 0 558852467 662450176 13070 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13070 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=52280 CPUtime=2374.63 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 21124 0 0 0 237461 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514483789072 5250304 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=52280 CPUtime=2381.21 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 24275 0 0 0 238117 4 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514475395768 5250495 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=52280 CPUtime=2381.63 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 21116 0 0 0 238160 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5396788 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=2004 CPUtime=2375.98 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13069 0 0 0 237597 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5250495 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=52280 CPUtime=2381.52 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14458 0 0 0 238151 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5148716 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=52280 CPUtime=2374.36 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14741 0 0 0 237435 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5396566 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=237983 CPUtime=2370.1 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 18219 0 0 0 237008 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5149714 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=1870255 CPUtime=2381.47 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 16099 0 0 0 238145 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5035232 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 19021.2 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB [startup+2442.3 s] /proc/loadavg: 8.02 8.15 8.22 9/198 781 /proc/meminfo: memFree=31539432/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52280 CPUtime=19500.3 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 153068 0 0 0 1950010 20 0 0 20 0 9 0 558852467 662450176 13070 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13070 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=52280 CPUtime=2433.85 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 21339 0 0 0 243383 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514483789072 5250482 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=52280 CPUtime=2441.18 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 24439 0 0 0 244114 4 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514475395768 5008844 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=52280 CPUtime=2441.62 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 21326 0 0 0 244159 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5035283 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=52280 CPUtime=2435.97 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13165 0 0 0 243596 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5035283 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=52280 CPUtime=2441.51 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14642 0 0 0 244150 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5250499 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=52280 CPUtime=2434.35 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14830 0 0 0 243434 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5250499 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=52280 CPUtime=2430.09 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 18430 0 0 0 243007 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5148711 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=52280 CPUtime=2441.46 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 16260 0 0 0 244144 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5035252 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 19500.3 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB [startup+2502.3 s] /proc/loadavg: 8.05 8.13 8.22 9/198 784 /proc/meminfo: memFree=31539916/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52280 CPUtime=19979.4 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 154401 0 0 0 1997923 20 0 0 20 0 9 0 558852467 662450176 13070 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13070 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=52280 CPUtime=2493.06 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 21534 0 0 0 249304 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514483789072 5150190 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=52280 CPUtime=2501.16 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 24615 0 0 0 250112 4 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514475395768 5149224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=52280 CPUtime=2501.62 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 21535 0 0 0 250159 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5389440 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=52280 CPUtime=2495.97 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13257 0 0 0 249596 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=780 CPUtime=2501.49 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14806 0 0 0 250148 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=52280 CPUtime=2494.34 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14964 0 0 0 249433 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=52280 CPUtime=2490.07 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 18609 0 0 0 249005 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5409485 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=52280 CPUtime=2501.45 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 16444 0 0 0 250143 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5035283 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 19979.4 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 8.17 8.16 8.23 9/198 786 /proc/meminfo: memFree=31540216/32770624 swapFree=66986684/67108860 [pid=540] ppid=537 vsize=646924 memory=52280 CPUtime=20120.8 cores=0-7 /proc/540/stat : 540 (cosoco) S 537 540 31775 0 -1 1077944320 154402 0 0 0 2012060 20 0 0 20 0 9 0 558852467 662450176 13070 33554432000 4194304 6211132 140721891932112 140721891930368 140514506931959 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 /proc/540/statm: 161731 13070 893 493 0 155036 0 [pid=540/tid=542] ppid=537 vsize=646924 memory=8317482817917895235 CPUtime=2510.51 cores=0-7 /proc/540/task/542/stat : 542 (cosoco) R 537 540 31775 0 -1 4202560 21534 0 0 0 251049 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514483789072 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=543] ppid=537 vsize=646924 memory=4126316290023845779 CPUtime=2518.87 cores=0-7 /proc/540/task/543/stat : 543 (cosoco) R 537 540 31775 0 -1 4202560 24615 0 0 0 251883 4 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514475395768 5158060 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=544] ppid=537 vsize=646924 memory=1164 CPUtime=2519.33 cores=0-7 /proc/540/task/544/stat : 544 (cosoco) R 537 540 31775 0 -1 4202560 21536 0 0 0 251930 3 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514467003064 5148857 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=545] ppid=537 vsize=646924 memory=8317482817917895235 CPUtime=2513.68 cores=0-7 /proc/540/task/545/stat : 545 (cosoco) R 537 540 31775 0 -1 4202560 13257 0 0 0 251367 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514458610360 5397400 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=547] ppid=537 vsize=646924 memory=4126316290023845779 CPUtime=2519.2 cores=0-7 /proc/540/task/547/stat : 547 (cosoco) R 537 540 31775 0 -1 4202560 14806 0 0 0 251919 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514450217656 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=548] ppid=537 vsize=646924 memory=52280 CPUtime=2512.04 cores=0-7 /proc/540/task/548/stat : 548 (cosoco) R 537 540 31775 0 -1 4202560 14964 0 0 0 251203 1 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514441824952 5149152 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=550] ppid=537 vsize=646924 memory=250652 CPUtime=2507.78 cores=0-7 /proc/540/task/550/stat : 550 (cosoco) R 537 540 31775 0 -1 4202560 18609 0 0 0 250776 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514433432248 5392113 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 [pid=540/tid=551] ppid=537 vsize=646924 memory=250087 CPUtime=2519.16 cores=0-7 /proc/540/task/551/stat : 551 (cosoco) R 537 540 31775 0 -1 4202560 16444 0 0 0 251914 2 0 0 20 0 9 0 558852488 662450176 13070 33554432000 4194304 6211132 140721891932112 140514425040000 5409485 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37842944 140721891935249 140721891935341 140721891935341 140721891938254 0 Current children cumulated CPU time: 20120.8 s Current children cumulated vsize: 646924 KiB Current children cumulated memory: 52280 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.02 s] # the end of solver process 540 was just reported to runsolver # cumulated CPU time of all completed processes: user=20120.7 s, system=0.207867 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.02 CPU time (s): 20120.9 CPU user time (s): 20120.7 CPU system time (s): 0.207867 CPU usage (%): 798.443 Max. virtual memory (cumulated for all children) (KiB): 646924 Max. memory (cumulated for all children) (KiB): 52280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 20120.7 system time used= 0.207867 maximum resident set size= 52532 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 154451 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= 5988 involuntary context switches= 150171 # summary of solver processes directly reported to runsolver: # pid: 540 # total CPU time (s): 20120.9 # total CPU user time (s): 20120.7 # total CPU system time (s): 0.207867 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.6625 second user time and 21.0878 second system time The end
Begin job on node104 at 2019-09-30 07:35:35 IDJOB=4409781 IDBENCH=127027 IDSOLVER=2877 FILE ID=node104/4409781-1569825962 RUNJOBID= node104-1569813805-31802 PBS_JOBID= 21705922 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 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-4409781-1569825962/watcher-4409781-1569825962 -o /tmp/evaluation-result-4409781-1569825962/solver-4409781-1569825962 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569813805-31802 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409781-1569825962.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29 RANDOM SEED=962374326 node104.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31587836 kB MemAvailable: 31839548 kB Buffers: 210836 kB Cached: 368276 kB SwapCached: 22760 kB Active: 308488 kB Inactive: 298552 kB Active(anon): 18552 kB Inactive(anon): 91236 kB Active(file): 289936 kB Inactive(file): 207316 kB Unevictable: 109656 kB Mlocked: 109656 kB SwapTotal: 67108860 kB SwapFree: 66986684 kB Dirty: 2780 kB Writeback: 0 kB AnonPages: 116308 kB Mapped: 26824 kB Shmem: 73632 kB Slab: 169876 kB SReclaimable: 140592 kB SUnreclaim: 29284 kB KernelStack: 3392 kB PageTables: 4624 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 531000 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62028 MiB End job on node104 at 2019-09-30 08:17:35