Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.O parallel | OPT | 7 | 32.4397 | 4.20531 |
| Name | PeacableArmies/ PeacableArmies-m2-07_c18.xml |
| MD5SUM | d533abf730bec48b9e0ac1943d19d6b7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 9.62179 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 51 |
| Number of constraints | 479 |
| Number of domains | 2 |
| Minimum domain size | 3 |
| Maximum domain size | 24 |
| Distribution of domain sizes | [{"size":3,"count":49},{"size":24,"count":2}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 26 |
| Distribution of variable degrees | [{"degree":2,"count":1},{"degree":3,"count":1},{"degree":20,"count":24},{"degree":22,"count":16},{"degree":24,"count":8},{"degree":26,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 50 |
| Distribution of constraint arities | [{"arity":2,"count":477},{"arity":50,"count":2}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 477 |
| Distribution of constraint types | [{"type":"intension","count":477},{"type":"count","count":2}] |
| Optimization problem | YES |
| Type of objective | max VAR |
0.00/0.01 c 0.00/0.01 c This is cosoco 2.00 -- 0.00/0.01 c 0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4398368-1568616637.xml 0.00/0.01 c intension ne(add(x[0][0],x[0][1]),3) -> extension (support ? 0) - 2tuples 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.03 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.06 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.00/0.09 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.12 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extension : same as previous 0.10/0.14 c intension -> extenc AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 c AllEqual constraint using 1 generic x=y constraints 0.10/0.15 sion : 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 enable optimization 0.10/0.15 c ========================================[ Problem Statistics ]=========================================== 0.10/0.15 c | 0.10/0.15 c | Parse time : 0.15 s 0.10/0.15 c | 0.10/0.15 c | Variables: 51 0.10/0.15 c | Domain Sizes: 3..24 0.10/0.15 c | 0.10/0.15 c | Constraints: 480 0.10/0.15 c | Arity: 1..50 -- Unary: 1 -- Binary: 477 0.10/0.15 c | 0.10/0.15 c | Types: 0.10/0.15 c | (X = Y): 1 0.10/0.15 c | Exactly K variable: 2 0.10/0.15 c | Extension: 476 (nb tuples: 2..2) -- (shared: 3800) 0.10/0.15 c | Intension: 1 0.10/0.15 c | 0.10/0.15 c | Objective: Maximize Intension 0.10/0.15 0.10/0.15 c ========================================================================================================= 0.10/0.15 c Parallel mode: Portfolio 0.10/0.15 c [pFactory][Group N°0] created (threads:8). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.10/0.15 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.10/0.15 c [pFactory][Group N°0] concurrent mode: enabled. 0.10/0.15 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.10/0.15 c [pFactory][Group N°0] task 7 launched on thread 5. 0.10/0.15 c [pFactory][Group N°0] task 6 launched on thread 0. 0.10/0.15 c [pFactory][Group N°0] task 5 launched on thread 6. 0.10/0.15 c [pFactory][Group N°0] task 4 launched on thread 1. 0.10/0.15 c [pFactory][Group N°0] task 3 launched on thread 7. 0.10/0.15 c [pFactory][Group N°0] task 2 launched on thread 3. 0.10/0.15 c [pFactory][Group N°0] task 1 launched on thread 2. 0.10/0.15 o 0 0.10/0.15 o 5 0.10/0.16 c [pFactory][Group N°0] task 0 launched on thread 4. 0.10/0.16 o 6 0.10/0.16 o 7 32.43/4.20 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0. 32.43/4.20 c [pFactory][Group N°0] Thread N°0 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°1 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°2 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°3 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°4 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°5 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°6 is joined. 32.43/4.20 c [pFactory][Group N°0] Thread N°7 is joined. 32.43/4.20 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°4) 32.43/4.20 s OPTIMUM FOUND 32.43/4.20 c call to solver : 3 32.43/4.20 c 32.43/4.20 c restarts : 16423 32.43/4.20 c conflicts : 176142 (5432 /sec) 32.43/4.20 c decisions : 631460 (19474 /sec) 32.43/4.20 c propagations : 4817148 (148556 /sec) 32.43/4.20 c root propagations : 120 32.43/4.20 c filter calls : 34667133 (1069097 /sec) 32.43/4.20 c useless filter calls : 32353946 (93 %) 32.43/4.20 c Memory used : 576.87 MB 32.43/4.20 c Best bound time (wc) : 0.151238 s 32.43/4.20 c CPU time : 32.4265 s 32.43/4.20 c real time : 4.2002 s 32.43/4.20 32.43/4.20 32.43/4.20 v <instantiation type='solution' cost='7'> 32.43/4.20 v <list>nb nw x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] </list> 32.43/4.20 v <values>7 7 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 2 2 0 </values> 32.43/4.20 v </instantiation> 32.43/4.20
OK 7
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 (10777 MiB free)
memory of node 1: 16384 MiB (15541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398368-1568616637/watcher-4398368-1568616637 -o /tmp/evaluation-result-4398368-1568616637/solver-4398368-1568616637 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568608998-7036 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398368-1568616637.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=8129, runsolver pid=8126
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 2.57 1.39 1.60 2/193 8130
/proc/meminfo: memFree=26946596/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=31512 memory=7912 CPUtime=0.1 cores=0-7
/proc/8129/stat : 8129 (cosoco) R 8126 8129 7009 0 -1 4202496 2149 0 0 0 10 0 0 0 20 0 1 0 437902393 32268288 1978 33554432000 4194304 6211092 140727435541584 140727435538120 140058970688485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 7878 1978 825 493 0 1183 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 31512 KiB
Current children cumulated memory: 7912 KiB
[startup+0.209367 s]*
/proc/loadavg: 2.57 1.39 1.60 10/201 8138
/proc/meminfo: memFree=26943992/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10288 CPUtime=0.65 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 2826 0 0 0 65 0 0 0 20 0 9 0 437902393 638459904 2572 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2572 886 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=-3398145943129763647 CPUtime=0.06 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058963586064 5446260 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=279302398113528 CPUtime=0.06 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058955193264 5392024 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=139651268048512 CPUtime=0.05 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 5 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058946800912 5397356 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=0 CPUtime=0.06 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058938407952 5009314 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=0 CPUtime=0.06 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 7 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058930015504 5009195 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=0 CPUtime=0.06 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 12 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058921622544 5017175 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=-1 CPUtime=0.06 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058913229744 5017422 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=0 CPUtime=0.06 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 6 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058904837136 5409364 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10288 KiB
[startup+0.310366 s]*
/proc/loadavg: 2.57 1.39 1.60 9/201 8138
/proc/meminfo: memFree=26943636/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10288 CPUtime=1.45 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 2827 0 0 0 145 0 0 0 20 0 9 0 437902393 638459904 2572 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2572 886 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=576567874760998942 CPUtime=0.16 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058963586064 5396663 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=297237795322462533 CPUtime=0.16 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058955193264 5008994 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=14834869892642456 CPUtime=0.14 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 14 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058946800912 5138581 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=3472328296227680303 CPUtime=0.16 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058938407952 5009317 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=6958453264360695866 CPUtime=0.16 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 7 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058930015504 5008831 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=7679937479730885395 CPUtime=0.16 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 12 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058921622544 5017357 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=8462337410863807087 CPUtime=0.16 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058913229744 5017252 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=6944656592455097440 CPUtime=0.16 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 16 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058904837136 5396404 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10288 KiB
[startup+0.701366 s]
/proc/loadavg: 2.57 1.39 1.60 9/201 8138
/proc/meminfo: memFree=26943636/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10288 CPUtime=4.49 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 2827 0 0 0 449 0 0 0 20 0 9 0 437902393 638459904 2572 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2572 886 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=0 CPUtime=0.54 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058963586064 5138607 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=139651130187153 CPUtime=0.54 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058955193264 5009214 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=0 CPUtime=0.51 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 51 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058946800912 5008971 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=0 CPUtime=0.54 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058938407952 5009098 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=0 CPUtime=0.54 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 7 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058930015504 5009314 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=0 CPUtime=0.54 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 12 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058921622544 5138576 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=1428 CPUtime=0.54 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 8 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058913229744 5009304 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=1752 CPUtime=0.54 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 6 0 0 0 54 0 0 0 20 0 9 0 437902408 638459904 2572 33554432000 4194304 6211092 140727435541584 140058904837136 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 4.49 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10288 KiB
[startup+1.50137 s]
/proc/loadavg: 2.57 1.39 1.60 9/201 8138
/proc/meminfo: memFree=26944692/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10532 CPUtime=10.88 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 4188 0 0 0 1088 0 0 0 20 0 9 0 437902393 638459904 2633 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2633 892 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=1752 CPUtime=1.34 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 73 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058963586064 5397472 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=0 CPUtime=1.34 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 203 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058955193264 5397382 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=8319106358720084021 CPUtime=1.29 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 112 0 0 0 129 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058946800912 5138607 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=8751464017575819317 CPUtime=1.34 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 289 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058938407952 5008971 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=8387335466423976633 CPUtime=1.34 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 180 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058930015504 5397352 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=139655563015807 CPUtime=1.34 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 312 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058921622544 5390684 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=0 CPUtime=1.34 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 168 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058913229744 5138562 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=-7604262568725289114 CPUtime=1.34 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 85 0 0 0 134 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058904837136 5186312 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 10.88 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10532 KiB
[startup+3.11037 s]
/proc/loadavg: 3.09 1.52 1.64 9/202 8146
/proc/meminfo: memFree=26943688/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10532 CPUtime=23.69 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 4188 0 0 0 2369 0 0 0 20 0 9 0 437902393 638459904 2633 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2633 892 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=69896297791376 CPUtime=2.94 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 73 0 0 0 294 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058963586064 5397304 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=279302260254432 CPUtime=2.95 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 203 0 0 0 295 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058955193264 5017472 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=279302260254496 CPUtime=2.88 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 112 0 0 0 288 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058946800912 5009314 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=279302260254560 CPUtime=2.95 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 289 0 0 0 295 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058938407952 5009142 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=279302260254624 CPUtime=2.94 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 180 0 0 0 294 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058930015504 5017569 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=0 CPUtime=2.95 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 312 0 0 0 295 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058921622544 5171228 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=7892391828772250251 CPUtime=2.95 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 168 0 0 0 295 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058913229744 5017728 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=7881697806280320623 CPUtime=2.95 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 85 0 0 0 295 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058904837136 5017175 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 23.69 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10532 KiB
[startup+4.20527 s]
# the end of solver process 8129 was just reported to runsolver
# cumulated CPU time of all completed processes: user=32.4267 s, system=0.012983 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20137 s]
/proc/loadavg: 3.09 1.52 1.64 9/202 8146
/proc/meminfo: memFree=26943688/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10532 CPUtime=24.42 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 5543 0 0 0 2442 0 0 0 20 0 9 0 437902393 638459904 2633 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2633 892 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=7589521124353142370 CPUtime=3.04 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 227 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058963586064 5409840 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=7451882149942352236 CPUtime=3.04 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 355 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058955193264 5404200 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=7084280292443704665 CPUtime=2.97 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 293 0 0 0 297 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058946800912 5138544 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=10532 CPUtime=3.04 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 426 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058938407952 5396710 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=0 CPUtime=3.03 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 489 0 0 0 303 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058930015504 5193696 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=0 CPUtime=3.04 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 513 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058921622544 5193696 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=0 CPUtime=3.04 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 321 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058913229744 5008971 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=0 CPUtime=3.04 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 153 0 0 0 304 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058904837136 5390211 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 24.42 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10532 KiB
[startup+4.00137 s]*
/proc/loadavg: 3.09 1.52 1.64 9/202 8146
/proc/meminfo: memFree=26943928/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10532 CPUtime=30.88 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 5553 0 0 0 3087 1 0 0 20 0 9 0 437902393 638459904 2633 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2633 892 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=0 CPUtime=3.84 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 227 0 0 0 384 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058963586064 5389823 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=0 CPUtime=3.85 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 356 0 0 0 385 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058955193264 5009195 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=3472328279047811119 CPUtime=3.76 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 297 0 0 0 376 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058946800912 5017274 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=-2026666227646606628 CPUtime=3.85 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 426 0 0 0 385 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058938407952 5389424 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=0 CPUtime=3.84 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 490 0 0 0 384 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058930015504 5017370 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=0 CPUtime=3.84 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 517 0 0 0 384 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058921622544 5138607 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=-1 CPUtime=3.85 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 321 0 0 0 385 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058913229744 5017373 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=0 CPUtime=3.85 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 153 0 0 0 385 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058904837136 5138567 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 30.88 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10532 KiB
[startup+4.20337 s]
/proc/loadavg: 3.09 1.52 1.64 9/202 8146
/proc/meminfo: memFree=26943928/32770624 swapFree=66941428/67108860
[pid=8129] ppid=8126 vsize=623496 memory=10532 CPUtime=32.43 cores=0-7
/proc/8129/stat : 8129 (cosoco) S 8126 8129 7009 0 -1 1077944320 5556 0 0 0 3242 1 0 0 20 0 9 0 437902393 638459904 2633 33554432000 4194304 6211092 140727435541584 140727435539840 140058986729207 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
/proc/8129/statm: 155874 2633 892 493 0 149179 0
[pid=8129/tid=8131] ppid=8126 vsize=623496 memory=-7035114785800479027 CPUtime=4.04 cores=0-7
/proc/8129/task/8131/stat : 8131 (cosoco) R 8126 8129 7009 0 -1 4202560 227 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058963586064 5138562 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8132] ppid=8126 vsize=623496 memory=288230621803970871 CPUtime=4.05 cores=0-7
/proc/8129/task/8132/stat : 8132 (cosoco) R 8126 8129 7009 0 -1 4202560 357 0 0 0 405 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058955193264 5017418 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8133] ppid=8126 vsize=623496 memory=14979957709343274 CPUtime=3.96 cores=0-7
/proc/8129/task/8133/stat : 8133 (cosoco) R 8126 8129 7009 0 -1 4202560 297 0 0 0 396 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058946800656 5389447 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8134] ppid=8126 vsize=623496 memory=139651130237392 CPUtime=4.04 cores=0-7
/proc/8129/task/8134/stat : 8134 (cosoco) R 8126 8129 7009 0 -1 4202560 426 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058938407952 5009195 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8135] ppid=8126 vsize=623496 memory=279302260303576 CPUtime=4.04 cores=0-7
/proc/8129/task/8135/stat : 8135 (cosoco) R 8126 8129 7009 0 -1 4202560 491 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058930015504 5389435 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8136] ppid=8126 vsize=623496 memory=139651130236832 CPUtime=4.04 cores=0-7
/proc/8129/task/8136/stat : 8136 (cosoco) R 8126 8129 7009 0 -1 4202560 517 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058921622544 5186269 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8137] ppid=8126 vsize=623496 memory=139651130236928 CPUtime=4.04 cores=0-7
/proc/8129/task/8137/stat : 8137 (cosoco) R 8126 8129 7009 0 -1 4202560 321 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058913229744 5397413 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
[pid=8129/tid=8138] ppid=8126 vsize=623496 memory=8461400003820375440 CPUtime=4.04 cores=0-7
/proc/8129/task/8138/stat : 8138 (cosoco) R 8126 8129 7009 0 -1 4202560 154 0 0 0 404 0 0 0 20 0 9 0 437902408 638459904 2633 33554432000 4194304 6211092 140727435541584 140058904837136 5409453 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 24616960 140727435543569 140727435543661 140727435543661 140727435546574 0
Current children cumulated CPU time: 32.43 s
Current children cumulated vsize: 623496 KiB
Current children cumulated memory: 10532 KiB
Child status: 0
Real time (s): 4.20531
CPU time (s): 32.4397
CPU user time (s): 32.4267
CPU system time (s): 0.012983
CPU usage (%): 771.398
Max. virtual memory (cumulated for all children) (KiB): 623496
Max. memory (cumulated for all children) (KiB): 10532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.4267
system time used= 0.012983
maximum resident set size= 10700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5621
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= 43
involuntary context switches= 570
# summary of solver processes directly reported to runsolver:
# pid: 8129
# total CPU time (s): 32.4397
# total CPU user time (s): 32.4267
# total CPU system time (s): 0.012983
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048088 second user time and 0.070373 second system time
The end
Begin job on node149 at 2019-09-16 08:49:59 IDJOB=4398368 IDBENCH=141494 IDSOLVER=2851 FILE ID=node149/4398368-1568616637 RUNJOBID= node149-1568608998-7036 PBS_JOBID= 21703435 Free space on /tmp= 61420 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m2-07_c18.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398368-1568616637/watcher-4398368-1568616637 -o /tmp/evaluation-result-4398368-1568616637/solver-4398368-1568616637 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568608998-7036 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398368-1568616637.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d533abf730bec48b9e0ac1943d19d6b7 RANDOM SEED=847740065 node149.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.81 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.81 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.81 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.81 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: 26950872 kB MemAvailable: 31842796 kB Buffers: 80152 kB Cached: 5114060 kB SwapCached: 61068 kB Active: 2304660 kB Inactive: 2951332 kB Active(anon): 2540 kB Inactive(anon): 107640 kB Active(file): 2302120 kB Inactive(file): 2843692 kB Unevictable: 111228 kB Mlocked: 111228 kB SwapTotal: 67108860 kB SwapFree: 66941428 kB Dirty: 3740 kB Writeback: 0 kB AnonPages: 129352 kB Mapped: 47532 kB Shmem: 39884 kB Slab: 153056 kB SReclaimable: 123892 kB SUnreclaim: 29164 kB KernelStack: 3744 kB PageTables: 5244 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506224 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 83968 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 144768 kB DirectMap2M: 33400832 kB Free space on /tmp at the end= 61420 MiB End job on node149 at 2019-09-16 08:50:04