Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | SAT (TO) | 75 | 2010.87 | 252.026 |
| 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 | 2400.3 |
| 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-4398821-1568608987.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 61tuples 0.10/0.18 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 59tuples 0.10/0.18 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 57tuples 0.10/0.18 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 55tuples 0.10/0.18 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 53tuples 0.10/0.18 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 51tuples 0.10/0.18 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 49tuples 0.10/0.19 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 47tuples 0.10/0.19 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 45tuples 0.10/0.19 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 43tuples 0.10/0.19 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 41tuples 0.10/0.19 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 39tuples 0.10/0.19 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 37tuples 0.10/0.19 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 35tuples 0.10/0.19 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 33tuples 0.10/0.19 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 31tuples 0.10/0.19 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 29tuples 0.10/0.19 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 27tuples 0.10/0.19 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 25tuples 0.10/0.19 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 23tuples 0.10/0.19 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 21tuples 0.10/0.20 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 19tuples 0.10/0.20 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 17tuples 0.10/0.20 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 15tuples 0.10/0.20 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 13tuples 0.10/0.20 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 11tuples 0.10/0.20 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 9tuples 0.10/0.20 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 7tuples 0.10/0.20 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 5tuples 0.10/0.20 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 3tuples 0.27/0.24 c enable optimization 0.27/0.24 c ========================================[ Problem Statistics ]=========================================== 0.27/0.24 c | 0.27/0.24 c | Parse time : 0.19 s 0.27/0.24 c | 0.27/0.24 c | Variables: 991 0.27/0.24 c | Domain Sizes: 2..61 0.27/0.24 c | 0.27/0.24 c | Constraints: 526 0.27/0.24 c | Arity: 2..31 -- Binary: 31 -- Ternary: 466 0.27/0.24 c | 0.27/0.24 c | Types: 0.27/0.24 c | Extension: 495 (nb tuples: 3..61) -- (shared: 3712) 0.27/0.24 c | Sum: 31 0.27/0.24 c | 0.27/0.24 c | Objective: Minimize Sum 0.27/0.24 0.27/0.24 c ========================================================================================================= 0.27/0.24 c Parallel mode: Portfolio 0.27/0.24 c [pFactory][Group N°0] created (threads:8). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.27/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.27/0.24 c [pFactory][Group N°0] concurrent mode: enabled. 0.27/0.24 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.27/0.24 c [pFactory][Group N°0] task 7 launched on thread 4. 0.27/0.24 c [pFactory][Group N°0] task 6 launched on thread 1. 0.27/0.24 c [pFactory][Group N°0] task 5 launched on thread 0. 0.27/0.24 c [pFactory][Group N°0] task 4 launched on thread 2. 0.27/0.24 c [pFactory][Group N°0] task 3 launched on thread 6. 0.27/0.24 c [pFactory][Group N°0] task 2 launched on thread 7. 0.27/0.24 c [pFactory][Group N°0] task 1 launched on thread 5. 0.27/0.24 c [pFactory][Group N°0] task 0 launched on thread 3. 0.27/0.24 o 3903 0.27/0.25 o 423 0.27/0.27 o 359 0.27/0.28 o 351 0.27/0.29 o 347 0.27/0.29 o 339 0.27/0.32 o 207 1.75/0.46 o 199 3.99/0.72 o 191 3.99/0.75 o 171 4.79/0.86 o 143 38.39/5.05 o 135 43.11/5.63 o 127 75.82/9.79 o 115 105.36/13.40 o 107 190.08/24.03 o 87 767.33/96.37 o 75 2010.75/252.02 2010.75/252.02 c *** INTERRUPTED *** 2010.75/252.02 c call to solver : 15 2010.75/252.02 c 2010.75/252.02 c restarts : 46431 2010.75/252.02 c conflicts : 367644 (183 /sec) 2010.75/252.02 c decisions : 5906749 (2938 /sec) 2010.75/252.02 c propagations : 182881563 (90953 /sec) 2010.75/252.02 c root propagations : 2416 2010.75/252.02 c filter calls : 215174813 (107014 /sec) 2010.75/252.02 c useless filter calls : 117482341 (54 %) 2010.75/252.02 c Memory used : 631.77 MB 2010.75/252.02 c Best bound time (wc) : 96.3655 s 2010.75/252.02 c CPU time : 2010.72 s 2010.75/252.02 c real time : 252.017 s 2010.75/252.02 2010.75/252.02 s SATISFIABLE 2010.75/252.02 c Best value found: 75 2010.75/252.02 2010.75/252.02 2010.75/252.02 v <instantiation type='solution' cost='75'> 2010.75/252.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> 2010.75/252.02 v <values>0 0 -1 -2 -1 0 -1 0 -3 0 -1 1 0 3 2 -1 0 -1 2 -3 2 -1 -2 1 0 -1 0 1 4 -1 0 0 1 4 1 0 1 0 9 0 1 1 0 9 4 1 0 1 4 9 4 1 4 1 0 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> 2010.75/252.02 v </instantiation> 2010.75/252.02
OK 75
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 (14643 MiB free)
memory of node 1: 16384 MiB (14203 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398821-1568608987/watcher-4398821-1568608987 -o /tmp/evaluation-result-4398821-1568608987/solver-4398821-1568608987 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398821-1568608987.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17991, runsolver pid=17988
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 8.02 8.28 8.51 2/192 17992
/proc/meminfo: memFree=29523964/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=43476 memory=19664 CPUtime=0.1 cores=0-7
/proc/17991/stat : 17991 (cosoco) R 17988 17991 15549 0 -1 4202496 5141 0 0 0 9 1 0 0 20 0 1 0 436813604 44519424 4916 33554432000 4194304 6211092 140735225384208 140735225378952 139904586476517 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 10869 4916 826 493 0 4174 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43476 KiB
Current children cumulated memory: 19664 KiB
[startup+0.215485 s]*
/proc/loadavg: 8.02 8.28 8.51 4/200 18000
/proc/meminfo: memFree=29508832/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=33972 CPUtime=0.27 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 9087 0 0 0 25 2 0 0 20 0 9 0 436813604 662450176 8493 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 8493 891 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=8316850467074736180 CPUtime=0 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) D 17988 17991 15549 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904579373752 139904586472254 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=10867 CPUtime=0 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904570980936 5185108 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=3473037269796628128 CPUtime=0 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904562588232 5185108 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=-1 CPUtime=0 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) D 17988 17991 15549 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904554195384 139904586952279 0 0 4096 8405026 18446744071582151463 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=0 CPUtime=0 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904545802936 139904586472254 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=0 CPUtime=0 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) D 17988 17991 15549 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904537409976 139904586952279 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=-1 CPUtime=0 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) D 17988 17991 15549 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904529017416 139904586472254 0 0 4096 8405026 18446744071582151416 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=0 CPUtime=0 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) D 17988 17991 15549 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 9 0 436813625 662450176 8493 33554432000 4194304 6211092 140735225384208 139904520624824 139904586952279 0 0 4096 8405026 18446744071582151463 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 33972 KiB
[startup+0.311176 s]*
/proc/loadavg: 8.02 8.28 8.51 9/200 18000
/proc/meminfo: memFree=29497252/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=47936 CPUtime=0.97 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 12541 0 0 0 93 4 0 0 20 0 9 0 436813604 662450176 11984 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 11984 892 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 474 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904579373592 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=4872558044660077418 CPUtime=0.09 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 445 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904570980888 5250272 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=0 CPUtime=0.09 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 511 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904562588264 5150972 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=0 CPUtime=0.09 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 454 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904554195480 5037825 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=0 CPUtime=0.09 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 502 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904545802664 5250293 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=0 CPUtime=0.08 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 445 0 0 0 8 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904537409960 5148684 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=0 CPUtime=0.09 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 484 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904529017368 5250450 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=0 CPUtime=0.09 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 589 0 0 0 9 0 0 0 20 0 9 0 436813625 662450176 11984 33554432000 4194304 6211092 140735225384208 139904520624744 5396756 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 47936 KiB
[startup+0.701181 s]
/proc/loadavg: 8.02 8.28 8.51 9/200 18000
/proc/meminfo: memFree=29495764/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=49784 CPUtime=3.99 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 12925 0 0 0 395 4 0 0 20 0 9 0 436813604 662450176 12446 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12446 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=520 CPUtime=0.47 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 535 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904579374352 5035283 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=1560 CPUtime=0.47 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 528 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904570980968 5035320 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=924 CPUtime=0.47 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 568 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904562588344 5397226 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=3688 CPUtime=0.47 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 507 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904554195560 5396756 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=1984 CPUtime=0.47 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 575 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904545802856 5250467 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=-7175204567652784766 CPUtime=0.44 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 462 0 0 0 44 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904537409960 5035216 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=3054156605268465310 CPUtime=0.47 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 524 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904529017448 5157993 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=2580 CPUtime=0.47 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 589 0 0 0 47 0 0 0 20 0 9 0 436813625 662450176 12446 33554432000 4194304 6211092 140735225384208 139904520625184 5038947 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 3.99 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 49784 KiB
[startup+1.50118 s]
/proc/loadavg: 8.02 8.28 8.51 9/200 18000
/proc/meminfo: memFree=29494468/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51212 CPUtime=10.37 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 22811 0 0 0 1031 6 0 0 20 0 9 0 436813604 662450176 12803 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12803 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=0 CPUtime=1.27 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 1762 0 0 0 127 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904579373752 5009024 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=56 CPUtime=1.27 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 2438 0 0 0 127 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904570981048 5156104 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=288230376974057755 CPUtime=1.27 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 1382 0 0 0 127 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904562588344 5250459 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=288283385594643790 CPUtime=1.26 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 1805 0 0 0 126 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904554195560 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=0 CPUtime=1.27 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 2389 0 0 0 126 1 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904545802856 5250289 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=0 CPUtime=1.22 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 1428 0 0 0 122 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904537410232 5148878 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=0 CPUtime=1.27 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 1597 0 0 0 127 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904529017528 5148684 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=0 CPUtime=1.27 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 1373 0 0 0 127 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904520624744 5038697 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 10.37 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51212 KiB
[startup+3.11018 s]
/proc/loadavg: 8.02 8.27 8.51 9/200 18000
/proc/meminfo: memFree=29494096/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51212 CPUtime=23.22 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 22851 0 0 0 2316 6 0 0 20 0 9 0 436813604 662450176 12803 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12803 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=51212 CPUtime=2.88 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 1775 0 0 0 288 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904579373592 5409461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=288283385594643790 CPUtime=2.88 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 2438 0 0 0 288 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904570981048 5250234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=479 CPUtime=2.88 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 1384 0 0 0 288 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904562588344 5148684 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=57 CPUtime=2.87 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 1805 0 0 0 287 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904554195560 5396756 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=56 CPUtime=2.88 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 2389 0 0 0 287 1 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904545802856 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=8514726395714825349 CPUtime=2.81 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 1436 0 0 0 281 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904537410232 5250458 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=0 CPUtime=2.88 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 1602 0 0 0 288 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904529017528 5389808 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=50312 CPUtime=2.88 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 1385 0 0 0 288 0 0 0 20 0 9 0 436813625 662450176 12803 33554432000 4194304 6211092 140735225384208 139904520624744 5148684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 23.22 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51212 KiB
[startup+6.30118 s]
/proc/loadavg: 8.02 8.27 8.51 9/200 18000
/proc/meminfo: memFree=29493276/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51288 CPUtime=48.7 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 41951 0 0 0 4862 8 0 0 20 0 9 0 436813604 662450176 12822 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12822 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=0 CPUtime=6.07 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 4575 0 0 0 606 1 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904579374352 5392081 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=217792355782699 CPUtime=6.07 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 5482 0 0 0 607 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904570981048 5396409 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=140504568669823 CPUtime=6.07 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 3042 0 0 0 607 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904562588344 5158020 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=0 CPUtime=6.06 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 4035 0 0 0 606 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904554195560 5397263 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=8128038100524242582 CPUtime=6.07 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 5973 0 0 0 605 2 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904545803536 5397216 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=-7595718316223324558 CPUtime=5.95 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 3382 0 0 0 595 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904537410232 5035283 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=8259761640030508194 CPUtime=6.07 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 3572 0 0 0 607 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904529017528 5039540 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=51288 CPUtime=6.06 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 3253 0 0 0 606 0 0 0 20 0 9 0 436813625 662450176 12822 33554432000 4194304 6211092 140735225384208 139904520624744 5148675 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 48.7 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51288 KiB
[startup+12.7012 s]
/proc/loadavg: 8.02 8.27 8.51 9/200 18000
/proc/meminfo: memFree=29492876/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51344 CPUtime=99.78 cores=0-7
################
# More data... #
################
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 6492 0 0 0 2526 0 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904562588944 5148679 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=281000249161552 CPUtime=25.26 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 7880 0 0 0 2525 1 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904554195560 5149674 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=129 CPUtime=25.26 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 11398 0 0 0 2524 2 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904545802936 5409453 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=51388 CPUtime=24.89 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 6465 0 0 0 2489 0 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904537410232 5039721 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=51388 CPUtime=25.26 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 7135 0 0 0 2526 0 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904529017528 5250289 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=0 CPUtime=25.25 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 6780 0 0 0 2525 0 0 0 20 0 9 0 436813625 662450176 12847 33554432000 4194304 6211092 140735225384208 139904520624744 5035312 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 201.99 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51388 KiB
[startup+51.1102 s]
/proc/loadavg: 8.45 8.34 8.52 9/200 18002
/proc/meminfo: memFree=29492304/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51516 CPUtime=406.47 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 85195 0 0 0 40635 12 0 0 20 0 9 0 436813604 662450176 12879 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12879 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=51516 CPUtime=50.87 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 10856 0 0 0 5086 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904579373752 5035232 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=3472468778363719111 CPUtime=50.86 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 12155 0 0 0 5085 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904570980776 5035312 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=51492 CPUtime=50.86 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 7239 0 0 0 5086 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904562588944 5008831 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=51492 CPUtime=50.86 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 9133 0 0 0 5085 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904554195560 5009272 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=3504 CPUtime=50.87 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 13367 0 0 0 5085 2 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904545802936 5392081 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=45864 CPUtime=50.14 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 7962 0 0 0 5014 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904537410232 5409453 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=1436 CPUtime=50.86 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 8310 0 0 0 5086 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904529017528 5035283 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=4152 CPUtime=50.86 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 7536 0 0 0 5085 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904520624744 5149048 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 406.47 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51516 KiB
[startup+102.301 s]
/proc/loadavg: 8.59 8.39 8.52 9/200 18005
/proc/meminfo: memFree=29493872/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51516 CPUtime=815.25 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 89203 0 0 0 81513 12 0 0 20 0 9 0 436813604 662450176 12879 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12879 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=51516 CPUtime=102.06 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 11442 0 0 0 10205 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904579373752 5148679 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=51516 CPUtime=102.05 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 12809 0 0 0 10204 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904570981048 5193754 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=51516 CPUtime=102.04 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 7537 0 0 0 10204 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904562588344 5155804 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=51516 CPUtime=102.05 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 9587 0 0 0 10204 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904554195560 5409453 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=65 CPUtime=102.06 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 14079 0 0 0 10204 2 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904545802936 5035232 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=51516 CPUtime=100.63 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 8653 0 0 0 10063 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904537410232 5409465 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=1548 CPUtime=102.04 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 8688 0 0 0 10204 0 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904529018128 5396534 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=281000249299776 CPUtime=102.04 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 7771 0 0 0 10203 1 0 0 20 0 9 0 436813625 662450176 12879 33554432000 4194304 6211092 140735225384208 139904520624744 5150142 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 815.25 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51516 KiB
[startup+162.301 s]
/proc/loadavg: 8.37 8.37 8.51 9/199 18008
/proc/meminfo: memFree=29494784/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51616 CPUtime=1294.39 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 97273 0 0 0 129426 13 0 0 20 0 9 0 436813604 662450176 12904 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12904 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=51616 CPUtime=162.04 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 12545 0 0 0 16203 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904579373752 5148734 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=51616 CPUtime=162.04 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 14051 0 0 0 16203 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904570981048 5186312 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=51616 CPUtime=162.04 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 8253 0 0 0 16204 0 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904562588344 5038259 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=51616 CPUtime=162.04 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 10359 0 0 0 16203 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904554195560 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=51616 CPUtime=162.06 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 15677 0 0 0 16204 2 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904545802936 5009360 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=51616 CPUtime=159.83 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 10047 0 0 0 15982 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904537410232 5250459 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=3504 CPUtime=162.04 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 9220 0 0 0 16203 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904529018128 5149221 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=51616 CPUtime=162.01 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 8484 0 0 0 16200 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904520624744 5409461 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 1294.39 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51616 KiB
[startup+222.301 s]
/proc/loadavg: 8.14 8.31 8.48 9/199 18013
/proc/meminfo: memFree=29493892/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51616 CPUtime=1773.5 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 100403 0 0 0 177336 14 0 0 20 0 9 0 436813604 662450176 12904 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12904 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=51616 CPUtime=222.02 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 12957 0 0 0 22201 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904579373752 5148983 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=51616 CPUtime=222.03 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 14458 0 0 0 22202 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904570981048 5035326 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=51616 CPUtime=222.03 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 8484 0 0 0 22202 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904562588344 5193748 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=51616 CPUtime=222.03 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 10603 0 0 0 22202 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904554195560 5186312 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=51616 CPUtime=222.07 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 16216 0 0 0 22204 3 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904545802936 5193744 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=45864 CPUtime=219.03 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 10809 0 0 0 21902 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904537410232 5038585 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=51616 CPUtime=222.03 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 9484 0 0 0 22202 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904529018128 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=51616 CPUtime=222 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 8755 0 0 0 22199 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904520624744 5250251 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 1773.5 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51616 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+252.001 s]*
/proc/loadavg: 8.08 8.28 8.47 9/199 18014
/proc/meminfo: memFree=29493800/32770624 swapFree=66939904/67108860
[pid=17991] ppid=17988 vsize=646924 memory=51616 CPUtime=2010.75 cores=0-7
/proc/17991/stat : 17991 (cosoco) S 17988 17991 15549 0 -1 1077944320 100403 0 0 0 201061 14 0 0 20 0 9 0 436813604 662450176 12904 33554432000 4194304 6211092 140735225384208 140735225382464 139904602517239 0 0 4096 8405026 18446744073709551615 0 0 17 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
/proc/17991/statm: 161731 12904 893 493 0 155036 0
[pid=17991/tid=17993] ppid=17988 vsize=646924 memory=8317482817917895235 CPUtime=251.73 cores=0-7
/proc/17991/task/17993/stat : 17993 (cosoco) R 17988 17991 15549 0 -1 4202560 12957 0 0 0 25172 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904579373752 5250224 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17994] ppid=17988 vsize=646924 memory=4872558044660077418 CPUtime=251.74 cores=0-7
/proc/17991/task/17994/stat : 17994 (cosoco) R 17988 17991 15549 0 -1 4202560 14458 0 0 0 25173 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904570981048 5250234 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17995] ppid=17988 vsize=646924 memory=6935054825532540783 CPUtime=251.73 cores=0-7
/proc/17991/task/17995/stat : 17995 (cosoco) R 17988 17991 15549 0 -1 4202560 8484 0 0 0 25172 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904562588344 5409453 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17996] ppid=17988 vsize=646924 memory=1436 CPUtime=251.74 cores=0-7
/proc/17991/task/17996/stat : 17996 (cosoco) R 17988 17991 15549 0 -1 4202560 10603 0 0 0 25173 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904554195560 5186221 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17997] ppid=17988 vsize=646924 memory=4152 CPUtime=251.77 cores=0-7
/proc/17991/task/17997/stat : 17997 (cosoco) R 17988 17991 15549 0 -1 4202560 16216 0 0 0 25174 3 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904545802936 5148698 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17998] ppid=17988 vsize=646924 memory=1548 CPUtime=248.33 cores=0-7
/proc/17991/task/17998/stat : 17998 (cosoco) R 17988 17991 15549 0 -1 4202560 10809 0 0 0 24832 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904537410232 5250224 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=17999] ppid=17988 vsize=646924 memory=1728 CPUtime=251.74 cores=0-7
/proc/17991/task/17999/stat : 17999 (cosoco) R 17988 17991 15549 0 -1 4202560 9484 0 0 0 25173 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904529018128 5392081 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
[pid=17991/tid=18000] ppid=17988 vsize=646924 memory=8004 CPUtime=251.7 cores=0-7
/proc/17991/task/18000/stat : 18000 (cosoco) R 17988 17991 15549 0 -1 4202560 8755 0 0 0 25169 1 0 0 20 0 9 0 436813625 662450176 12904 33554432000 4194304 6211092 140735225384208 139904520624744 5250224 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9895936 140735225390102 140735225390194 140735225390194 140735225393102 0
Current children cumulated CPU time: 2010.75 s
Current children cumulated vsize: 646924 KiB
Current children cumulated memory: 51616 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+252.026 s]
# the end of solver process 17991 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2010.72 s, system=0.145911 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 252.026
CPU time (s): 2010.87
CPU user time (s): 2010.72
CPU system time (s): 0.145911
CPU usage (%): 797.881
Max. virtual memory (cumulated for all children) (KiB): 646924
Max. memory (cumulated for all children) (KiB): 51616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2010.72
system time used= 0.145911
maximum resident set size= 51868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100448
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= 4689
involuntary context switches= 16404
# summary of solver processes directly reported to runsolver:
# pid: 17991
# total CPU time (s): 2010.87
# total CPU user time (s): 2010.72
# total CPU system time (s): 0.145911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.2332 second user time and 2.18827 second system time
The end
Begin job on node119 at 2019-09-16 06:42:27 IDJOB=4398821 IDBENCH=127027 IDSOLVER=2852 FILE ID=node119/4398821-1568608987 RUNJOBID= node119-1568597993-15576 PBS_JOBID= 21703416 Free space on /tmp= 61372 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-031.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398821-1568608987/watcher-4398821-1568608987 -o /tmp/evaluation-result-4398821-1568608987/solver-4398821-1568608987 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398821-1568608987.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 0f1289c6216c2035de546c3b2133ae29 RANDOM SEED=813439696 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 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: 29539700 kB MemAvailable: 31822992 kB Buffers: 91188 kB Cached: 2475160 kB SwapCached: 61076 kB Active: 1244068 kB Inactive: 1388296 kB Active(anon): 3544 kB Inactive(anon): 112096 kB Active(file): 1240524 kB Inactive(file): 1276200 kB Unevictable: 107752 kB Mlocked: 107752 kB SwapTotal: 67108860 kB SwapFree: 66939904 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 156812 kB Mapped: 47380 kB Shmem: 41008 kB Slab: 193644 kB SReclaimable: 164808 kB SUnreclaim: 28836 kB KernelStack: 3728 kB PageTables: 6016 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506512 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 110592 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61368 MiB End job on node119 at 2019-09-16 06:46:40