Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 | SAT (TO) | 96 | 2519.93 | 2520.01 |
| Name | LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml |
| MD5SUM | 0094b37350883aa25196a680c59db77a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 64 |
| Best CPU time to get the best result obtained on this benchmark | 20057.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1121 |
| Number of constraints | 592 |
| Number of domains | 65 |
| Minimum domain size | 2 |
| Maximum domain size | 65 |
| Distribution of domain sizes | [{"size":2,"count":562},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},{"size":27,"count":2},{"size":28,"count":1},{"size":29,"count":2},{"size":30,"count":1},{"size":31,"count":2},{"size":32,"count":1},{"size":33,"count":2},{"size":35,"count":1},{"size":37,"count":1},{"size":39,"count":1},{"size":41,"count":1},{"size":43,"count":1},{"size":45,"count":1},{"size":47,"count":1},{"size":49,"count":1},{"size":51,"count":1},{"size":53,"count":1},{"size":55,"count":1},{"size":57,"count":1},{"size":59,"count":1},{"size":61,"count":1},{"size":63,"count":1},{"size":65,"count":1}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 32 |
| Distribution of variable degrees | [{"degree":0,"count":496},{"degree":2,"count":592},{"degree":32,"count":33}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 33 |
| Distribution of constraint arities | [{"arity":2,"count":33},{"arity":3,"count":529},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 560 |
| Distribution of constraint types | [{"type":"intension","count":560},{"type":"sum","count":32}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397187-1568582198.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 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) - 65tuples 0.10/0.18 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 63tuples 0.10/0.18 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 61tuples 0.10/0.18 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 59tuples 0.10/0.18 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 57tuples 0.10/0.19 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 55tuples 0.10/0.19 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 53tuples 0.10/0.19 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 51tuples 0.10/0.19 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 49tuples 0.10/0.19 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 47tuples 0.10/0.19 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 45tuples 0.10/0.19 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 43tuples 0.10/0.19 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 41tuples 0.10/0.19 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 39tuples 0.10/0.19 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 37tuples 0.10/0.19 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 35tuples 0.10/0.20 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 33tuples 0.10/0.20 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 31tuples 0.10/0.20 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 29tuples 0.10/0.20 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 27tuples 0.10/0.20 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 25tuples 0.10/0.20 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 23tuples 0.10/0.20 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 21tuples 0.10/0.20 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 19tuples 0.10/0.20 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 17tuples 0.10/0.20 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 15tuples 0.10/0.20 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 13tuples 0.10/0.20 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 11tuples 0.10/0.20 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 9tuples 0.10/0.20 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 7tuples 0.10/0.20 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 5tuples 0.10/0.20 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 3tuples 0.10/0.21 c enable optimization 0.10/0.21 c ========================================[ Problem Statistics ]=========================================== 0.10/0.21 c | 0.10/0.21 c | Parse time : 0.20 s 0.10/0.21 c | 0.10/0.21 c | Variables: 1121 0.10/0.21 c | Domain Sizes: 2..65 0.10/0.21 c | 0.10/0.21 c | Constraints: 593 0.10/0.21 c | Arity: 2..33 -- Binary: 33 -- Ternary: 529 0.10/0.21 c | 0.10/0.21 c | Types: 0.10/0.21 c | Extension: 560 (nb tuples: 3..65) -- (shared: 527) 0.10/0.21 c | Sum: 33 0.10/0.21 c | 0.10/0.21 c | Objective: Minimize Sum 0.10/0.21 0.10/0.21 c ========================================================================================================= 0.10/0.21 o 4816 0.10/0.21 c 1 calls to solver(id=0): best=4816 lower=0 upper=4815 0.20/0.24 o 3704 0.20/0.26 o 2944 0.20/0.26 c 3 calls to solver(id=0): best=2944 lower=0 upper=2943 0.20/0.28 o 2888 0.31/0.32 o 872 0.31/0.32 c 5 calls to solver(id=0): best=872 lower=0 upper=871 0.31/0.34 o 720 0.31/0.37 o 464 0.31/0.37 c 7 calls to solver(id=0): best=464 lower=0 upper=463 0.31/0.39 o 440 0.41/0.43 o 368 0.41/0.43 c 9 calls to solver(id=0): best=368 lower=0 upper=367 0.41/0.45 o 348 0.41/0.47 o 336 0.41/0.47 c 11 calls to solver(id=0): best=336 lower=0 upper=335 0.41/0.49 o 332 0.51/0.52 o 192 0.51/0.52 c 13 calls to solver(id=0): best=192 lower=0 upper=191 1.10/1.15 o 188 3.79/3.89 o 184 3.79/3.89 c 15 calls to solver(id=0): best=184 lower=0 upper=183 4.59/4.64 o 176 4.79/4.87 o 152 4.79/4.87 c 17 calls to solver(id=0): best=152 lower=0 upper=151 43.68/43.70 o 124 93.58/93.63 o 120 93.58/93.63 c 19 calls to solver(id=0): best=120 lower=0 upper=119 193.08/193.19 o 112 237.17/237.24 o 108 237.17/237.24 c 21 calls to solver(id=0): best=108 lower=0 upper=107 937.86/937.95 o 96 2519.91/2520.00 2519.91/2520.00 c *** INTERRUPTED *** 2519.91/2520.00 c call to solver : 22 2519.91/2520.00 c 2519.91/2520.00 c restarts : 423 2519.91/2520.00 c conflicts : 3548931 (1408 /sec) 2519.91/2520.00 c decisions : 99723216 (39574 /sec) 2519.91/2520.00 c propagations : 1887437314 (749013 /sec) 2519.91/2520.00 c root propagations : 2737 2519.91/2520.00 c filter calls : 1695064693 (672671 /sec) 2519.91/2520.00 c useless filter calls : 748437556 (44 %) 2519.91/2520.00 c Memory used : 37.40 MB 2519.91/2520.00 c Best bound time (wc) : 937.949 s 2519.91/2520.00 c CPU time : 2519.9 s 2519.91/2520.00 c real time : 2520 s 2519.91/2520.00 2519.91/2520.00 c nb Solutions = 22 2519.91/2520.00 s SATISFIABLE 2519.91/2520.00 c Best value found: 96 2519.91/2520.00 2519.91/2520.00 2519.91/2520.00 v <instantiation type='solution' cost='96'> 2519.91/2520.00 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[30] c[31] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list> 2519.91/2520.01 v <values>0 2 -1 0 -1 0 1 0 1 -2 1 -3 -2 3 -2 -1 2 1 2 -3 0 -1 -2 0 1 -3 4 -1 0 -1 2 -1 0 4 1 0 1 0 1 0 1 4 1 9 4 9 4 1 4 1 4 9 0 1 4 0 1 9 16 1 0 1 4 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 * * * * * * * * 1 * * 1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 * * * * * * * * * -1 * * 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 * * * * * * * * * * -1 * * -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 1 * 1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 * * * -1 * * * * * * * * * * 1 * * -1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 * * * * -1 * * * * * * * * * * 1 * * -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 * * * * * -1 * * * * * * * * * * 1 * * -1 -1 -1 1 1 -1 1 1 -1 1 -1 1 * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 * -1 1 1 1 1 -1 -1 1 1 -1 * * * * * * * * -1 * * * * * * * * * * -1 * * 1 -1 1 -1 -1 1 -1 1 1 * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 1 1 -1 1 1 -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 -1 -1 1 -1 -1 1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * -1 1 -1 1 1 -1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * 1 1 -1 -1 1 * * 1 * * * * * * * * * * -1 * * * * * * * * * * -1 * * 1 1 1 -1 * * * 1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * 1 -1 1 * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * -1 * * -1 -1 * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * -1 * * * * * * -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * -1 1 1 1 1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 * * 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 * -1 * * -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 1 * * 1 * * 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 * * * -1 * * -1 -1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 * * * * 1 * * -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 -1 * * * * * 1 * * 1 1 1 1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 * * * * * * -1 * * 1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 * * * * * * * -1 * * -1 1 -1 -1 1 -1 1 </values> 2519.91/2520.01 v </instantiation> 2519.91/2520.01
OK 96
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 (13249 MiB free)
memory of node 1: 16384 MiB (14884 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397187-1568582198/watcher-4397187-1568582198 -o /tmp/evaluation-result-4397187-1568582198/solver-4397187-1568582198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4239 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397187-1568582198.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5846, runsolver pid=5843
Current StackSize limit: 8192 KiB
[startup+0.1002 s]*
/proc/loadavg: 2.08 2.06 2.06 3/200 5847
/proc/meminfo: memFree=28808860/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=31808 memory=8172 CPUtime=0.1 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 2208 0 0 0 10 0 0 0 20 0 1 0 434133716 32571392 2043 33554432000 4194304 6211092 140720650821216 140720650817752 140535221349349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 7952 2043 826 493 0 1257 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31808 KiB
Current children cumulated memory: 8172 KiB
[startup+0.209933 s]*
/proc/loadavg: 2.08 2.06 2.06 3/200 5847
/proc/meminfo: memFree=28798204/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=37368 memory=14008 CPUtime=0.2 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 3682 0 0 0 20 0 0 0 20 0 1 0 434133716 38264832 3502 33554432000 4194304 6211092 140720650821216 140720650817752 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9342 3502 900 493 0 2647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37368 KiB
Current children cumulated memory: 14008 KiB
[startup+0.310123 s]*
/proc/loadavg: 2.08 2.06 2.06 3/200 5847
/proc/meminfo: memFree=28797112/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38028 memory=14536 CPUtime=0.31 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 3858 0 0 0 30 1 0 0 20 0 1 0 434133716 38940672 3634 33554432000 4194304 6211092 140720650821216 140720650817752 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9507 3634 900 493 0 2812 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 38028 KiB
Current children cumulated memory: 14536 KiB
[startup+0.700402 s]
/proc/loadavg: 2.08 2.06 2.06 3/200 5847
/proc/meminfo: memFree=28801868/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=14800 CPUtime=0.69 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 3906 0 0 0 68 1 0 0 20 0 1 0 434133716 39211008 3700 33554432000 4194304 6211092 140720650821216 140720650809096 5396756 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3700 900 493 0 2878 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14800 KiB
[startup+1.5004 s]
/proc/loadavg: 2.16 2.07 2.06 3/200 5847
/proc/meminfo: memFree=28804736/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=14800 CPUtime=1.49 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 3919 0 0 0 148 1 0 0 20 0 1 0 434133716 39211008 3700 33554432000 4194304 6211092 140720650821216 140720650809096 5392081 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3700 900 493 0 2878 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14800 KiB
[startup+3.11005 s]
/proc/loadavg: 2.16 2.07 2.06 3/200 5847
/proc/meminfo: memFree=28780028/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15028 CPUtime=3.1 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 5995 0 0 0 309 1 0 0 20 0 1 0 434133716 39211008 3757 33554432000 4194304 6211092 140720650821216 140720650819352 5155968 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3757 900 493 0 2878 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15028 KiB
[startup+6.30033 s]
/proc/loadavg: 2.38 2.12 2.08 3/200 5847
/proc/meminfo: memFree=28815928/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15060 CPUtime=6.29 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 8258 0 0 0 628 1 0 0 20 0 1 0 434133716 39211008 3765 33554432000 4194304 6211092 140720650821216 140720650809096 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3765 900 493 0 2878 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15060 KiB
[startup+12.7003 s]
/proc/loadavg: 2.59 2.17 2.09 3/200 5847
/proc/meminfo: memFree=28816756/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15060 CPUtime=12.68 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 10359 0 0 0 1267 1 0 0 20 0 1 0 434133716 39211008 3765 33554432000 4194304 6211092 140720650821216 140720650809096 5151066 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3765 900 493 0 2878 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15060 KiB
[startup+25.5003 s]
/proc/loadavg: 2.96 2.26 2.12 3/200 5848
/proc/meminfo: memFree=28816972/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15060 CPUtime=25.48 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 14503 0 0 0 2547 1 0 0 20 0 1 0 434133716 39211008 3765 33554432000 4194304 6211092 140720650821216 140720650809096 5396756 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3765 900 493 0 2878 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15060 KiB
[startup+51.1093 s]
/proc/loadavg: 3.02 2.36 2.16 3/200 5854
/proc/meminfo: memFree=29572416/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=51.09 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 14757 0 0 0 5108 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5039650 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+102.3 s]
/proc/loadavg: 2.44 2.31 2.15 3/200 5858
/proc/meminfo: memFree=29572884/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=102.28 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 14990 0 0 0 10227 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+162.3 s]
/proc/loadavg: 2.16 2.25 2.14 3/195 5870
/proc/meminfo: memFree=29751300/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=162.28 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 15204 0 0 0 16227 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5039132 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.20 2.13 3/199 5928
/proc/meminfo: memFree=29637660/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=222.27 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 15435 0 0 0 22226 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5148846 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.17 2.13 3/201 5941
/proc/meminfo: memFree=29634304/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=282.27 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 15668 0 0 0 28226 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5148640 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.14 2.12 3/200 5945
/proc/meminfo: memFree=29633000/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=342.27 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 15881 0 0 0 34226 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5409424 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+402.3 s]
/proc/loadavg: 2.52 2.26 2.16 3/200 5951
/proc/meminfo: memFree=29633456/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=402.27 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 16094 0 0 0 40226 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+462.3 s]
/proc/loadavg: 2.19 2.22 2.15 3/200 5955
/proc/meminfo: memFree=29633332/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=462.27 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 16307 0 0 0 46226 1 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650809096 5394155 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
################
# More data... #
################
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6075
/proc/meminfo: memFree=29632656/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=1782.23 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 21015 0 0 0 178221 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5150158 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6081
/proc/meminfo: memFree=29632208/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=1842.23 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 21227 0 0 0 184221 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5148944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6085
/proc/meminfo: memFree=29632348/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=1902.23 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 21447 0 0 0 190221 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6089
/proc/meminfo: memFree=29632440/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=1962.22 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 21650 0 0 0 196220 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5009042 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 6095
/proc/meminfo: memFree=29632740/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2022.22 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 21863 0 0 0 202220 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5396736 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6107
/proc/meminfo: memFree=29631976/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2082.22 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 22083 0 0 0 208220 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6111
/proc/meminfo: memFree=29632420/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2142.22 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 22299 0 0 0 214220 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5149197 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6117
/proc/meminfo: memFree=29631948/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2202.22 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 22515 0 0 0 220220 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5149754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/201 6136
/proc/meminfo: memFree=29631008/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2262.21 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 22735 0 0 0 226219 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 6140
/proc/meminfo: memFree=29631224/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2322.21 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 22953 0 0 0 232219 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5250289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 6147
/proc/meminfo: memFree=29631056/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2382.21 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 23172 0 0 0 238219 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5035272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6151
/proc/meminfo: memFree=29630244/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2442.21 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 23385 0 0 0 244219 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5409461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 6155
/proc/meminfo: memFree=29630432/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2502.21 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 23610 0 0 0 250219 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5250467 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 6158
/proc/meminfo: memFree=29630188/32770624 swapFree=66957020/67108860
[pid=5846] ppid=5843 vsize=38292 memory=15076 CPUtime=2519.91 cores=0,2,4,6
/proc/5846/stat : 5846 (cosoco) R 5843 5846 4208 0 -1 4202496 23819 0 0 0 251989 2 0 0 20 0 1 0 434133716 39211008 3769 33554432000 4194304 6211092 140720650821216 140720650819352 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 41381888 140720650822667 140720650822769 140720650822769 140720650825678 0
/proc/5846/statm: 9573 3769 900 493 0 2878 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15076 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5846 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.9 s, system=0.024999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.93
CPU user time (s): 2519.9
CPU system time (s): 0.024999
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 38292
Max. memory (cumulated for all children) (KiB): 15076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.024999
maximum resident set size= 15140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23872
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= 19
involuntary context switches= 3154
# summary of solver processes directly reported to runsolver:
# pid: 5846
# total CPU time (s): 2519.93
# total CPU user time (s): 2519.9
# total CPU system time (s): 0.024999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.71188 second user time and 17.1782 second system time
The end
Begin job on node147 at 2019-09-15 23:15:55 IDJOB=4397187 IDBENCH=127005 IDSOLVER=2848 FILE ID=node147/4397187-1568582198 RUNJOBID= node147-1568572740-4239 PBS_JOBID= 21703310 Free space on /tmp= 58480 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/LowAutocorrelation/LowAutocorrelation-m1-s1/LowAutocorrelation-033.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397187-1568582198/watcher-4397187-1568582198 -o /tmp/evaluation-result-4397187-1568582198/solver-4397187-1568582198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568572740-4239 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4397187-1568582198.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=329462617 node147.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.52 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.52 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.52 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.52 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: 28808720 kB MemAvailable: 31627844 kB Buffers: 96088 kB Cached: 2997244 kB SwapCached: 48484 kB Active: 1517704 kB Inactive: 1806184 kB Active(anon): 181064 kB Inactive(anon): 99192 kB Active(file): 1336640 kB Inactive(file): 1706992 kB Unevictable: 108996 kB Mlocked: 108996 kB SwapTotal: 67108860 kB SwapFree: 66957020 kB Dirty: 508604 kB Writeback: 31440 kB AnonPages: 292952 kB Mapped: 50004 kB Shmem: 40960 kB Slab: 230452 kB SReclaimable: 182652 kB SUnreclaim: 47800 kB KernelStack: 3472 kB PageTables: 6168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 715744 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 241664 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 120192 kB DirectMap2M: 33425408 kB Free space on /tmp at the end= 58876 MiB End job on node147 at 2019-09-15 23:57:56