| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2 | ? (TO) | 2400.03 | 2400.11 |
| Name | BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c1w2b.xml |
| MD5SUM | d888f3c6414640c595bd57a6b8e70245 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1981 |
| Number of constraints | 795 |
| Number of domains | 2 |
| Minimum domain size | 82 |
| Maximum domain size | 397 |
| Distribution of domain sizes | [{"size":82,"count":1980},{"size":397,"count":1}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 5 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":4,"count":1584},{"degree":5,"count":396}] |
| Minimum constraint arity | 5 |
| Maximum constraint arity | 1980 |
| Distribution of constraint arities | [{"arity":5,"count":792},{"arity":397,"count":1},{"arity":1980,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"ordered","count":396},{"type":"lex","count":1},{"type":"sum","count":396},{"type":"count","count":1},{"type":"cardinality","count":1}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.06 c 0.00/0.06 c This is cosoco 2.00 -- 0.00/0.06 c 0.00/0.06 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390388-1568351966.xml 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.06 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 0 0.00/0.07 c Create Cardinality(vars,values,occurs) constraint using 1980 Exactly/AtMost.. constraint 0.00/0.07 c 2400.01/2400.11 c enable optimization 2400.01/2400.11 c ========================================[ Problem Statistics ]=========================================== 2400.01/2400.11 c | 2400.01/2400.11 c | Parse time : 0.10 s 2400.01/2400.11 c | 2400.01/2400.11 c | Variables: 1981 2400.01/2400.11 c | Domain Sizes: 82..397 2400.01/2400.11 c | 2400.01/2400.11 c | Constraints: 2459 2400.01/2400.11 c | Arity: 1..1980 -- Unary: 1 -- Binary: 1584 2400.01/2400.11 c | 2400.01/2400.11 c | Types: 2400.01/2400.11 c | (X -Y <= k): 1584 2400.01/2400.11 c | Exactly K: 82 2400.01/2400.11 c | Exactly K variable: 1 2400.01/2400.11 c | Intension: 1 2400.01/2400.11 c | Lex: 395 2400.01/2400.11 c | Sum: 396 2400.01/2400.11 c | 2400.01/2400.11 c | Objective: Maximize Intension 2400.01/2400.11 2400.01/2400.11 c ========================================================================================================= 2400.01/2400.11 2400.01/2400.11 c *** INTERRUPTED *** 2400.01/2400.11 c call to solver : 0 2400.01/2400.11 c 2400.01/2400.11 c restarts : 3 2400.01/2400.11 c conflicts : 332 (0 /sec) 2400.01/2400.11 c decisions : 1961 (1 /sec) 2400.01/2400.11 c propagations : 26024555 (10844 /sec) 2400.01/2400.11 c root propagations : 0 2400.01/2400.11 c filter calls : 18831563 (7847 /sec) 2400.01/2400.11 c useless filter calls : 18265479 (96 %) 2400.01/2400.11 c Memory used : 73.50 MB 2400.01/2400.11 c Best bound time (wc) : -1.56835e+09 s 2400.01/2400.11 c CPU time : 2399.9 s 2400.01/2400.11 c real time : 2400.11 s 2400.01/2400.11 2400.01/2400.11 c No Bound found! 2400.01/2400.11 2400.01/2400.11 s UNKNOWN
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 (11351 MiB free)
memory of node 1: 16384 MiB (14334 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390388-1568351966/watcher-4390388-1568351966 -o /tmp/evaluation-result-4390388-1568351966/solver-4390388-1568351966 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568351921-31484 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390388-1568351966.xml
running on 4 cores: 1,3,5,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
solver pid=31635, runsolver pid=31632
Current StackSize limit: 8192 KiB
[startup+0.100894 s]*
/proc/loadavg: 0.92 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266668/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40132 CPUtime=0.1 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 10201 0 0 0 9 1 0 0 20 0 1 0 411138575 65040384 10033 33554432000 4194304 6210612 140722931783328 140722931779448 5137306 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10033 863 493 0 9184 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40132 KiB
[startup+0.210083 s]*
/proc/loadavg: 0.92 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266668/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40132 CPUtime=0.21 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 10240 0 0 0 20 1 0 0 20 0 1 0 411138575 65040384 10033 33554432000 4194304 6210612 140722931783328 140722931779448 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10033 863 493 0 9184 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40132 KiB
[startup+0.309828 s]*
/proc/loadavg: 0.92 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266668/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40132 CPUtime=0.31 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 10240 0 0 0 30 1 0 0 20 0 1 0 411138575 65040384 10033 33554432000 4194304 6210612 140722931783328 140722931779448 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10033 863 493 0 9184 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40132 KiB
[startup+0.700381 s]
/proc/loadavg: 0.92 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266296/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40132 CPUtime=0.69 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 10240 0 0 0 68 1 0 0 20 0 1 0 411138575 65040384 10033 33554432000 4194304 6210612 140722931783328 140722931779448 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10033 863 493 0 9184 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40132 KiB
[startup+1.50035 s]
/proc/loadavg: 0.92 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266036/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40132 CPUtime=1.49 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 10240 0 0 0 148 1 0 0 20 0 1 0 411138575 65040384 10033 33554432000 4194304 6210612 140722931783328 140722931781592 5249727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10033 863 493 0 9184 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40132 KiB
[startup+3.10968 s]
/proc/loadavg: 0.93 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266116/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=3.1 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 13898 0 0 0 309 1 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5397205 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+6.30039 s]
/proc/loadavg: 0.93 1.00 1.14 3/199 31636
/proc/meminfo: memFree=26266072/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=6.28 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 18747 0 0 0 627 1 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5397208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+12.7004 s]
/proc/loadavg: 1.09 1.03 1.15 3/199 31636
/proc/meminfo: memFree=26266608/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=12.69 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 25246 0 0 0 1267 2 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+25.5004 s]
/proc/loadavg: 1.23 1.06 1.16 3/199 31636
/proc/meminfo: memFree=26266732/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=25.48 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 35519 0 0 0 2546 2 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+51.1097 s]
/proc/loadavg: 1.50 1.14 1.18 3/199 31639
/proc/meminfo: memFree=26265624/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=51.09 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 43880 0 0 0 5105 4 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+102.3 s]
/proc/loadavg: 1.80 1.28 1.23 3/200 31651
/proc/meminfo: memFree=26265276/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40312 CPUtime=102.28 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 50213 0 0 0 10223 5 0 0 20 0 1 0 411138575 65040384 10078 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10078 904 493 0 9184 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40312 KiB
[startup+162.3 s]
/proc/loadavg: 1.93 1.41 1.28 3/200 31655
/proc/meminfo: memFree=26266696/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=162.28 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 50631 0 0 0 16223 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.32 3/200 31659
/proc/meminfo: memFree=26266776/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=222.28 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 51048 0 0 0 22223 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.37 3/200 31665
/proc/meminfo: memFree=26266436/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=282.27 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 51465 0 0 0 28222 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5135943 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.68 1.41 3/200 31669
/proc/meminfo: memFree=26266188/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=342.27 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 51878 0 0 0 34222 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5135919 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.74 1.44 3/199 31674
/proc/meminfo: memFree=26266644/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=402.27 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 52291 0 0 0 40222 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.79 1.48 3/199 31680
/proc/meminfo: memFree=26266432/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63516 memory=40316 CPUtime=462.26 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 52708 0 0 0 46221 5 0 0 20 0 1 0 411138575 65040384 10079 33554432000 4194304 6210612 140722931783328 140722931781592 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15879 10079 904 493 0 9184 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 63516 KiB
Current children cumulated memory: 40316 KiB
################
# More data... #
################
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1662.23 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 31794
/proc/meminfo: memFree=26265836/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=1722.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 61455 0 0 0 172214 8 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/199 31798
/proc/meminfo: memFree=26265840/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=1782.23 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 61879 0 0 0 178214 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5135915 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/199 31802
/proc/meminfo: memFree=26266744/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=1842.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 62301 0 0 0 184213 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+1902.3 s]
/proc/loadavg: 2.05 2.00 1.89 3/199 31815
/proc/meminfo: memFree=26265224/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=1902.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 62723 0 0 0 190213 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+1962.3 s]
/proc/loadavg: 2.02 2.00 1.90 3/198 31819
/proc/meminfo: memFree=26267284/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=1962.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 63145 0 0 0 196213 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.00 1.90 3/199 31824
/proc/meminfo: memFree=26267356/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2022.21 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 63567 0 0 0 202212 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/199 31830
/proc/meminfo: memFree=26266228/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2082.21 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 63989 0 0 0 208212 9 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/199 31834
/proc/meminfo: memFree=26266572/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2142.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 64411 0 0 0 214212 10 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/199 31839
/proc/meminfo: memFree=26266792/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2202.22 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 64833 0 0 0 220212 10 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249729 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/200 31846
/proc/meminfo: memFree=26266036/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2262.21 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 65255 0 0 0 226211 10 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5192928 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/200 31850
/proc/meminfo: memFree=26266160/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=63648 memory=40360 CPUtime=2322.21 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 65676 0 0 0 232211 10 0 0 20 0 1 0 411138575 65175552 10090 33554432000 4194304 6210612 140722931783328 140722931780568 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 15912 10090 904 493 0 9217 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 63648 KiB
Current children cumulated memory: 40360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/200 31855
/proc/meminfo: memFree=26263284/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=67756 memory=44540 CPUtime=2382.2 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 67154 0 0 0 238209 11 0 0 20 0 1 0 411138575 69382144 11135 33554432000 4194304 6210612 140722931783328 140722931780536 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 16939 11135 904 493 0 10244 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 67756 KiB
Current children cumulated memory: 44540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.94 5/213 31887
/proc/meminfo: memFree=26232180/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=75256 memory=51924 CPUtime=2400.01 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 71336 0 0 0 239989 12 0 0 20 0 1 0 411138575 77062144 12981 33554432000 4194304 6210612 140722931783328 140722931780680 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 18814 12981 904 493 0 12119 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 75256 KiB
Current children cumulated memory: 51924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.11 s]
# the end of solver process 31635 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.9 s, system=0.128995 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.11 s]
/proc/loadavg: 2.00 2.00 1.94 5/213 31887
/proc/meminfo: memFree=26232180/32770624 swapFree=66952812/67108860
[pid=31635] ppid=31632 vsize=75256 memory=51924 CPUtime=2400.01 cores=1,3,5,7
/proc/31635/stat : 31635 (cosoco) R 31632 31635 31452 0 -1 4202496 71336 0 0 0 239989 12 0 0 20 0 1 0 411138575 77062144 12981 33554432000 4194304 6210612 140722931783328 140722931780680 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 16633856 140722931790859 140722931790961 140722931790961 140722931793870 0
/proc/31635/statm: 18814 12981 904 493 0 12119 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 75256 KiB
Current children cumulated memory: 51924 KiB
Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.03
CPU user time (s): 2399.9
CPU system time (s): 0.128995
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 75256
Max. memory (cumulated for all children) (KiB): 51924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.9
system time used= 0.128995
maximum resident set size= 51992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71379
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= 13
involuntary context switches= 630
# summary of solver processes directly reported to runsolver:
# pid: 31635
# total CPU time (s): 2400.03
# total CPU user time (s): 2399.9
# total CPU system time (s): 0.128995
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0537 second user time and 16.892 second system time
The end
Begin job on node117 at 2019-09-13 07:18:44 IDJOB=4390388 IDBENCH=136273 IDSOLVER=2831 FILE ID=node117/4390388-1568351966 RUNJOBID= node117-1568351921-31484 PBS_JOBID= 21701179 Free space on /tmp= 58916 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj1/BinPacking-sum-n4c1w2b.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390388-1568351966/watcher-4390388-1568351966 -o /tmp/evaluation-result-4390388-1568351966/solver-4390388-1568351966 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568351921-31484 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390388-1568351966.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d888f3c6414640c595bd57a6b8e70245 RANDOM SEED=1604069349 node117.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.75 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.75 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.75 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.75 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: 26303352 kB MemAvailable: 31806916 kB Buffers: 166688 kB Cached: 5563700 kB SwapCached: 52484 kB Active: 1344676 kB Inactive: 4444004 kB Active(anon): 5212 kB Inactive(anon): 94632 kB Active(file): 1339464 kB Inactive(file): 4349372 kB Unevictable: 107712 kB Mlocked: 107712 kB SwapTotal: 67108860 kB SwapFree: 66952812 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 114504 kB Mapped: 45912 kB Shmem: 32816 kB Slab: 272876 kB SReclaimable: 243188 kB SUnreclaim: 29688 kB KernelStack: 3456 kB PageTables: 5548 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 528568 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 58916 MiB End job on node117 at 2019-09-13 07:58:44