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 | 2520.1 | 2520 |
| 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-4408447-1569797514.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.18 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.19 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.23 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.20/0.31 o 872 0.30/0.32 c 5 calls to solver(id=0): best=872 lower=0 upper=871 0.30/0.34 o 720 0.30/0.36 o 464 0.30/0.36 c 7 calls to solver(id=0): best=464 lower=0 upper=463 0.30/0.39 o 440 0.40/0.43 o 368 0.40/0.43 c 9 calls to solver(id=0): best=368 lower=0 upper=367 0.40/0.45 o 348 0.40/0.47 o 336 0.40/0.47 c 11 calls to solver(id=0): best=336 lower=0 upper=335 0.40/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.14 o 188 1.49/3.86 o 184 1.49/46.79 c 15 calls to solver(id=0): best=184 lower=0 upper=183 1.49/46.79 o 176 1.49/46.79 o 152 1.49/46.79 c 17 calls to solver(id=0): best=152 lower=0 upper=151 1.49/46.79 o 124 85.99/86.01 o 120 85.99/86.01 c 19 calls to solver(id=0): best=120 lower=0 upper=119 184.60/184.62 o 112 228.21/228.23 o 108 228.21/228.23 c 21 calls to solver(id=0): best=108 lower=0 upper=107 921.53/921.50 o 96 2520.09/2520.00 2520.09/2520.00 c *** INTERRUPTED *** 2520.09/2520.00 c call to solver : 22 2520.09/2520.00 c 2520.09/2520.00 c restarts : 423 2520.09/2520.00 c conflicts : 3590954 (1425 /sec) 2520.09/2520.00 c decisions : 101297675 (40196 /sec) 2520.09/2520.00 c propagations : 1910009505 (757915 /sec) 2520.09/2520.00 c root propagations : 2737 2520.09/2520.00 c filter calls : 1715660194 (680795 /sec) 2520.09/2520.00 c useless filter calls : 758226468 (44 %) 2520.09/2520.00 c Memory used : 37.40 MB 2520.09/2520.00 c Best bound time (wc) : 921.503 s 2520.09/2520.00 c CPU time : 2520.08 s 2520.09/2520.00 c real time : 2520 s 2520.09/2520.00 2520.09/2520.00 c nb Solutions = 22 2520.09/2520.00 s SATISFIABLE 2520.09/2520.00 c Best value found: 96 2520.09/2520.00 2520.09/2520.00 2520.09/2520.00 v <instantiation type='solution' cost='96'> 2520.09/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> 2520.09/2520.00 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> 2520.09/2520.00 v </instantiation> 2520.09/2520.00
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 (12240 MiB free)
memory of node 1: 16384 MiB (14682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408447-1569797514/watcher-4408447-1569797514 -o /tmp/evaluation-result-4408447-1569797514/solver-4408447-1569797514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408447-1569797514.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=27556, runsolver pid=27553
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27566420/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=31808 memory=8176 CPUtime=0.1 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 2220 0 0 0 10 0 0 0 20 0 1 0 555912910 32571392 2044 33554432000 4194304 6211132 140727358702432 140727358698968 140230334716901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 7952 2044 826 493 0 1257 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31808 KiB
Current children cumulated memory: 8176 KiB
[startup+0.209951 s]*
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27562204/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=37368 memory=14012 CPUtime=0.2 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 3682 0 0 0 20 0 0 0 20 0 1 0 555912910 38264832 3503 33554432000 4194304 6211132 140727358702432 140727358698968 5035320 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9342 3503 900 493 0 2647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 37368 KiB
Current children cumulated memory: 14012 KiB
[startup+0.309901 s]*
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559724/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38160 memory=14804 CPUtime=0.3 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 3879 0 0 0 30 0 0 0 20 0 1 0 555912910 39075840 3701 33554432000 4194304 6211132 140727358702432 140727358698968 140230334716901 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9540 3701 900 493 0 2845 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 38160 KiB
Current children cumulated memory: 14804 KiB
[startup+0.700368 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=14804 CPUtime=0.69 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 3906 0 0 0 68 1 0 0 20 0 1 0 555912910 39211008 3701 33554432000 4194304 6211132 140727358702432 140727358698968 5035263 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3701 900 493 0 2878 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14804 KiB
[startup+1.50033 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=14804 CPUtime=1.49 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 3919 0 0 0 148 1 0 0 20 0 1 0 555912910 39211008 3701 33554432000 4194304 6211132 140727358702432 140727358698968 5148730 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3701 900 493 0 2878 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 14804 KiB
[startup+46.8942 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=46.89 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11025 0 0 0 4688 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250321 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 46.89 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+46.9003 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=46.89 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11025 0 0 0 4688 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250490 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 46.89 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+47.0002 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=46.99 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11025 0 0 0 4698 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5396788 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 46.99 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+47.1003 s]
/proc/loadavg: 2.25 2.32 2.18 3/204 27557
/proc/meminfo: memFree=27559352/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=47.09 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11025 0 0 0 4708 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035283 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 47.09 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+51.1002 s]
/proc/loadavg: 4.89 3.02 2.42 3/203 27562
/proc/meminfo: memFree=28490204/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=51.09 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11025 0 0 0 5108 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+102.309 s]
/proc/loadavg: 3.25 2.87 2.40 3/203 27566
/proc/meminfo: memFree=28492976/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=102.3 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11283 0 0 0 10229 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5035326 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+162.309 s]
/proc/loadavg: 2.46 2.71 2.38 3/202 27570
/proc/meminfo: memFree=28493180/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=162.31 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11524 0 0 0 16230 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+222.309 s]
/proc/loadavg: 2.17 2.58 2.35 3/201 27576
/proc/meminfo: memFree=28493280/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=222.31 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 11780 0 0 0 22230 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5396768 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+282.309 s]
/proc/loadavg: 2.06 2.47 2.33 3/199 27581
/proc/meminfo: memFree=28494272/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=282.31 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 12023 0 0 0 28230 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5035216 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+342.309 s]
/proc/loadavg: 2.02 2.39 2.31 3/199 27585
/proc/meminfo: memFree=28494760/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=342.31 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 12023 0 0 0 34230 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5149706 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+402.309 s]
/proc/loadavg: 2.01 2.32 2.29 3/199 27591
/proc/meminfo: memFree=28494340/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=402.32 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 12263 0 0 0 40231 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5193786 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+462.309 s]
/proc/loadavg: 2.00 2.26 2.27 3/199 27596
/proc/meminfo: memFree=28494804/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=462.32 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 12263 0 0 0 46231 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358690312 5250493 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
################
# More data... #
################
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1722.37 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1782.31 s]
/proc/loadavg: 2.00 2.01 2.08 3/200 27812
/proc/meminfo: memFree=28564248/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=1782.37 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15168 0 0 0 178236 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1842.31 s]
/proc/loadavg: 2.00 2.01 2.07 3/200 27818
/proc/meminfo: memFree=28563884/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=1842.37 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15176 0 0 0 184236 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1902.31 s]
/proc/loadavg: 2.00 2.01 2.07 3/200 27822
/proc/meminfo: memFree=28564264/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=1902.37 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15421 0 0 0 190236 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+1962.31 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 27826
/proc/meminfo: memFree=28564188/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=1962.38 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15422 0 0 0 196237 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5397267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2022.31 s]
/proc/loadavg: 2.00 2.01 2.06 3/200 27832
/proc/meminfo: memFree=28564436/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2022.38 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15669 0 0 0 202237 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5409485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2082.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27837
/proc/meminfo: memFree=28564296/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2082.38 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15669 0 0 0 208237 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2082.38 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2142.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27841
/proc/meminfo: memFree=28564328/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2142.38 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15909 0 0 0 214237 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035326 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27847
/proc/meminfo: memFree=28564484/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2202.39 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 15912 0 0 0 220238 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5039609 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2202.39 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2262.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27852
/proc/meminfo: memFree=28563724/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2262.39 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16161 0 0 0 226238 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250316 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2262.39 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27856
/proc/meminfo: memFree=28563624/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2322.39 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16162 0 0 0 232238 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5157988 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2322.39 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2382.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27870
/proc/meminfo: memFree=28563596/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2382.39 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16409 0 0 0 238238 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2382.39 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2442.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27874
/proc/meminfo: memFree=28563960/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2442.4 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16410 0 0 0 244239 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035326 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2442.4 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
[startup+2502.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27878
/proc/meminfo: memFree=28563660/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2502.4 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16657 0 0 0 250239 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5250304 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2502.4 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27881
/proc/meminfo: memFree=28563556/32770624 swapFree=67002732/67108860
[pid=27556] ppid=27553 vsize=38292 memory=15080 CPUtime=2520.09 cores=0,2,4,6
/proc/27556/stat : 27556 (cosoco) R 27553 27556 25748 0 -1 4202496 16657 0 0 0 252008 1 0 0 20 0 1 0 555912910 39211008 3770 33554432000 4194304 6211132 140727358702432 140727358700568 5035232 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 22937600 140727358710795 140727358710897 140727358710897 140727358713806 0
/proc/27556/statm: 9573 3770 900 493 0 2878 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 38292 KiB
Current children cumulated memory: 15080 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520 s]
# the end of solver process 27556 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.09 s, system=0.016 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2520.1
CPU user time (s): 2520.09
CPU system time (s): 0.016
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 38292
Max. memory (cumulated for all children) (KiB): 15080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.016
maximum resident set size= 15144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16703
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= 3157
# summary of solver processes directly reported to runsolver:
# pid: 27556
# total CPU time (s): 2520.1
# total CPU user time (s): 2520.09
# total CPU system time (s): 0.016
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.76736 second user time and 15.9316 second system time
The end
Begin job on node148 at 2019-09-30 00:51:16 IDJOB=4408447 IDBENCH=127005 IDSOLVER=2874 FILE ID=node148/4408447-1569797514 RUNJOBID= node148-1569787355-25779 PBS_JOBID= 21705817 Free space on /tmp= 61584 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-4408447-1569797514/watcher-4408447-1569797514 -o /tmp/evaluation-result-4408447-1569797514/solver-4408447-1569797514 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569787355-25779 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408447-1569797514.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0094b37350883aa25196a680c59db77a RANDOM SEED=1500266636 node148.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.13 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.13 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.13 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.13 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: 27570140 kB MemAvailable: 31785676 kB Buffers: 162668 kB Cached: 4380708 kB SwapCached: 3492 kB Active: 2313288 kB Inactive: 2309724 kB Active(anon): 93120 kB Inactive(anon): 67048 kB Active(file): 2220168 kB Inactive(file): 2242676 kB Unevictable: 110976 kB Mlocked: 110976 kB SwapTotal: 67108860 kB SwapFree: 67002732 kB Dirty: 750184 kB Writeback: 77936 kB AnonPages: 188612 kB Mapped: 29720 kB Shmem: 71796 kB Slab: 166892 kB SReclaimable: 137052 kB SUnreclaim: 29840 kB KernelStack: 3568 kB PageTables: 5820 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 643416 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 139264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 62024 MiB End job on node148 at 2019-09-30 01:33:17