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 | 2400.03 | 2400.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 | 84 |
| Best CPU time to get the best result obtained on this benchmark | 2000.21 |
| 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-4409127-1569800498.xml 0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 65tuples 0.10/0.20 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 63tuples 0.10/0.21 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 61tuples 0.10/0.21 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 59tuples 0.10/0.21 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 57tuples 0.10/0.21 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 55tuples 0.10/0.21 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 53tuples 0.10/0.21 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 51tuples 0.10/0.21 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 49tuples 0.10/0.22 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 47tuples 0.10/0.22 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 45tuples 0.20/0.22 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 43tuples 0.20/0.22 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 41tuples 0.20/0.22 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 39tuples 0.20/0.22 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 37tuples 0.20/0.22 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 35tuples 0.20/0.22 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 33tuples 0.20/0.22 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 31tuples 0.20/0.22 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 29tuples 0.20/0.22 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 27tuples 0.20/0.22 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 25tuples 0.20/0.22 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 23tuples 0.20/0.23 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 21tuples 0.20/0.23 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 19tuples 0.20/0.23 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 17tuples 0.20/0.23 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 15tuples 0.20/0.23 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 13tuples 0.20/0.23 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 11tuples 0.20/0.23 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 9tuples 0.20/0.23 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 7tuples 0.20/0.23 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 5tuples 0.20/0.23 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 3tuples 0.20/0.24 c enable optimization 0.20/0.24 c ========================================[ Problem Statistics ]=========================================== 0.20/0.24 c | 0.20/0.24 c | Parse time : 0.22 s 0.20/0.24 c | 0.20/0.24 c | Variables: 1121 0.20/0.24 c | Domain Sizes: 2..65 0.20/0.24 c | 0.20/0.24 c | Constraints: 593 0.20/0.24 c | Arity: 2..33 -- Binary: 33 -- Ternary: 529 0.20/0.24 c | 0.20/0.24 c | Types: 0.20/0.24 c | Extension: 560 (nb tuples: 3..65) -- (shared: 527) 0.20/0.24 c | Sum: 33 0.20/0.24 c | 0.20/0.24 c | Objective: Minimize Sum 0.20/0.24 0.20/0.24 c ========================================================================================================= 0.20/0.24 o 4816 0.20/0.24 c 1 calls to solver(id=0): best=4816 lower=0 upper=4815 0.20/0.27 o 3704 0.20/0.29 o 2944 0.20/0.29 c 3 calls to solver(id=0): best=2944 lower=0 upper=2943 0.20/0.31 o 2888 0.30/0.35 o 872 0.30/0.35 c 5 calls to solver(id=0): best=872 lower=0 upper=871 0.30/0.38 o 720 0.30/0.41 o 464 0.30/0.41 c 7 calls to solver(id=0): best=464 lower=0 upper=463 0.40/0.44 o 440 0.40/0.48 o 368 0.40/0.48 c 9 calls to solver(id=0): best=368 lower=0 upper=367 0.40/0.50 o 348 0.50/0.52 o 336 0.50/0.52 c 11 calls to solver(id=0): best=336 lower=0 upper=335 0.50/0.55 o 332 0.50/0.58 o 192 0.50/0.58 c 13 calls to solver(id=0): best=192 lower=0 upper=191 1.18/1.27 o 188 4.19/4.30 o 184 4.29/4.30 c 15 calls to solver(id=0): best=184 lower=0 upper=183 5.10/5.13 o 176 5.29/5.38 o 152 5.29/5.38 c 17 calls to solver(id=0): best=152 lower=0 upper=151 47.79/47.88 o 124 104.79/104.80 o 120 104.79/104.80 c 19 calls to solver(id=0): best=120 lower=0 upper=119 218.19/218.27 o 112 268.38/268.43 o 108 268.38/268.43 c 21 calls to solver(id=0): best=108 lower=0 upper=107 1066.90/1066.92 o 96 2400.03/2400.01 2400.03/2400.01 c *** INTERRUPTED *** 2400.03/2400.01 c call to solver : 22 2400.03/2400.01 c 2400.03/2400.01 c restarts : 421 2400.03/2400.01 c conflicts : 3047567 (1270 /sec) 2400.03/2400.01 c decisions : 80131532 (33388 /sec) 2400.03/2400.01 c propagations : 1610305599 (670960 /sec) 2400.03/2400.01 c root propagations : 2737 2400.03/2400.01 c filter calls : 1459090063 (607954 /sec) 2400.03/2400.01 c useless filter calls : 645702481 (44 %) 2400.03/2400.01 c Memory used : 37.40 MB 2400.03/2400.01 c Best bound time (wc) : 1066.92 s 2400.03/2400.01 c CPU time : 2400 s 2400.03/2400.01 c real time : 2400.01 s 2400.03/2400.01 2400.03/2400.01 c nb Solutions = 22 2400.03/2400.01 s SATISFIABLE 2400.03/2400.01 c Best value found: 96 2400.03/2400.01 2400.03/2400.01 2400.03/2400.01 v <instantiation type='solution' cost='96'> 2400.03/2400.01 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> 2400.03/2400.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> 2400.03/2400.01 v </instantiation> 2400.03/2400.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: 16375 MiB (15238 MiB free)
memory of node 1: 16384 MiB (15538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409127-1569800498/watcher-4409127-1569800498 -o /tmp/evaluation-result-4409127-1569800498/solver-4409127-1569800498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1325301813-18515 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409127-1569800498.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
solver pid=20748, runsolver pid=20745
[startup+0.100153 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31511900/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=31312 memory=7680 CPUtime=0.1 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 2097 0 0 0 10 0 0 0 20 0 1 0 556055914 32063488 1920 33554432000 4194304 6211132 140724983894224 140724983890760 139996502514661 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 7828 1920 826 493 0 1133 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31312 KiB
Current children cumulated memory: 7680 KiB
[startup+0.210884 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31507804/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=34860 memory=11376 CPUtime=0.2 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 3012 0 0 0 20 0 0 0 20 0 1 0 556055914 35696640 2844 33554432000 4194304 6211132 140724983894224 140724983890760 139996502953056 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 8715 2844 857 493 0 2020 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34860 KiB
Current children cumulated memory: 11376 KiB
[startup+0.310538 s]*
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31505200/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=37764 memory=14540 CPUtime=0.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 3801 0 0 0 30 0 0 0 20 0 1 0 556055914 38670336 3635 33554432000 4194304 6211132 140724983894224 140724983890760 5035320 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9441 3635 900 493 0 2746 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 37764 KiB
Current children cumulated memory: 14540 KiB
[startup+0.700299 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31504456/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=14804 CPUtime=0.68 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 3907 0 0 0 68 0 0 0 20 0 1 0 556055914 39211008 3701 33554432000 4194304 6211132 140724983894224 140724983882104 5017617 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3701 900 493 0 2878 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14804 KiB
[startup+1.50029 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31504416/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=14804 CPUtime=1.48 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 3920 0 0 0 148 0 0 0 20 0 1 0 556055914 39211008 3701 33554432000 4194304 6211132 140724983894224 140724983882104 5035320 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3701 900 493 0 2878 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14804 KiB
[startup+3.11037 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31504424/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15032 CPUtime=3.1 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 5996 0 0 0 309 1 0 0 20 0 1 0 556055914 39211008 3758 33554432000 4194304 6211132 140724983894224 140724983882104 5149721 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3758 900 493 0 2878 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15032 KiB
[startup+6.30028 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 20749
/proc/meminfo: memFree=31503832/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15052 CPUtime=6.29 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 8170 0 0 0 628 1 0 0 20 0 1 0 556055914 39211008 3763 33554432000 4194304 6211132 140724983894224 140724983882104 5038259 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3763 900 493 0 2878 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15052 KiB
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.05 3/201 20750
/proc/meminfo: memFree=31503832/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15064 CPUtime=12.69 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 10272 0 0 0 1268 1 0 0 20 0 1 0 556055914 39211008 3766 33554432000 4194304 6211132 140724983894224 140724983882104 5017282 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3766 900 493 0 2878 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15064 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 20750
/proc/meminfo: memFree=31503084/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15064 CPUtime=25.49 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 14429 0 0 0 2548 1 0 0 20 0 1 0 556055914 39211008 3766 33554432000 4194304 6211132 140724983894224 140724983882104 5035312 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3766 900 493 0 2878 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15064 KiB
[startup+51.1103 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 20752
/proc/meminfo: memFree=31504108/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=51.1 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 15095 0 0 0 5109 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5035326 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20756
/proc/meminfo: memFree=31503372/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=102.29 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 15689 0 0 0 10228 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5409489 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 20762
/proc/meminfo: memFree=31502456/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=162.28 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 16346 0 0 0 16227 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983882104 5409493 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20766
/proc/meminfo: memFree=31502964/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=222.29 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 16999 0 0 0 22228 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5039240 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20770
/proc/meminfo: memFree=31503312/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=282.28 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 17654 0 0 0 28227 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983882104 5409489 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20776
/proc/meminfo: memFree=31503144/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=342.28 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 18250 0 0 0 34227 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983882104 5149240 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+402.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 20780
/proc/meminfo: memFree=31502836/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=402.29 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 18845 0 0 0 40228 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983882104 5392096 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 20784
/proc/meminfo: memFree=31502840/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=462.29 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 19439 0 0 0 46228 1 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983882104 5392110 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
################
# More data... #
################
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1602.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/199 21020
/proc/meminfo: memFree=31520680/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1662.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 31359 0 0 0 166228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5250304 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1662.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 21032
/proc/meminfo: memFree=31520712/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1722.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 31947 0 0 0 172228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5148725 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 21038
/proc/meminfo: memFree=31520140/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1782.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 32540 0 0 0 178228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5396788 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 21042
/proc/meminfo: memFree=31520284/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1842.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 33135 0 0 0 184228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5035216 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 21046
/proc/meminfo: memFree=31520676/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1902.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 33718 0 0 0 190228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5017277 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 21052
/proc/meminfo: memFree=31519868/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=1962.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 34303 0 0 0 196228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5396439 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 21056
/proc/meminfo: memFree=31520408/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2022.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 34902 0 0 0 202228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5148711 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 21060
/proc/meminfo: memFree=31521724/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2082.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 35485 0 0 0 208228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5149507 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21067
/proc/meminfo: memFree=31520460/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2142.3 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 36086 0 0 0 214228 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5409489 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21071
/proc/meminfo: memFree=31520568/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2202.31 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 36674 0 0 0 220229 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5396768 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21075
/proc/meminfo: memFree=31520732/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2262.31 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 37257 0 0 0 226229 2 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5250495 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21089
/proc/meminfo: memFree=31519548/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2322.32 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 37857 0 0 0 232229 3 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5035286 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 21093
/proc/meminfo: memFree=31520100/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2382.32 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 38436 0 0 0 238229 3 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5250491 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 21093
/proc/meminfo: memFree=31520380/32770688 swapFree=66927776/67108860
[pid=20748] ppid=20745 vsize=38292 memory=15080 CPUtime=2400.03 cores=4-7
/proc/20748/stat : 20748 (cosoco) R 20745 20748 18483 0 -1 4202496 39013 0 0 0 240000 3 0 0 20 0 1 0 556055914 39211008 3770 33554432000 4194304 6211132 140724983894224 140724983892360 5038788 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 35799040 140724983903243 140724983903345 140724983903345 140724983906254 0
/proc/20748/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.01 s]
# the end of solver process 20748 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.031 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.01
CPU time (s): 2400.03
CPU user time (s): 2400
CPU system time (s): 0.031
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 38292
Max. memory (cumulated for all children) (KiB): 15080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.031
maximum resident set size= 15144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39067
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= 18
involuntary context switches= 609
# summary of solver processes directly reported to runsolver:
# pid: 20748
# total CPU time (s): 2400.03
# total CPU user time (s): 2400
# total CPU system time (s): 0.031
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1484 second user time and 16.5941 second system time
The end
Begin job on node120 at 2011-12-31 08:01:58 IDJOB=4409127 IDBENCH=127005 IDSOLVER=2876 FILE ID=node120/4409127-1569800498 RUNJOBID= node120-1325301813-18515 PBS_JOBID= 21705832 Free space on /tmp= 61840 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-4409127-1569800498/watcher-4409127-1569800498 -o /tmp/evaluation-result-4409127-1569800498/solver-4409127-1569800498 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1325301813-18515 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4409127-1569800498.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=1665895201 node120.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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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.49 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 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 : 2667.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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 31515548 kB MemAvailable: 31776388 kB Buffers: 204280 kB Cached: 386684 kB SwapCached: 68828 kB Active: 342852 kB Inactive: 343984 kB Active(anon): 46924 kB Inactive(anon): 130284 kB Active(file): 295928 kB Inactive(file): 213700 kB Unevictable: 107072 kB Mlocked: 107072 kB SwapTotal: 67108860 kB SwapFree: 66927776 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 135412 kB Mapped: 29496 kB Shmem: 72460 kB Slab: 163788 kB SReclaimable: 134096 kB SUnreclaim: 29692 kB KernelStack: 3584 kB PageTables: 5348 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 598852 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 86016 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61836 MiB End job on node120 at 2011-12-31 08:41:59