Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| cosoco 2.0 parallel | OPT | 132 | 10.8795 | 1.73541 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-6-5-30-1.xml |
| MD5SUM | ef915df37055c75537688959881a75d3 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 132 |
| Best CPU time to get the best result obtained on this benchmark | 1.76864 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 120 |
| Number of constraints | 962 |
| Number of domains | 62 |
| Minimum domain size | 2 |
| Maximum domain size | 30 |
| Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":14},{"size":5,"count":9},{"size":13,"count":3},{"size":14,"count":4},{"size":15,"count":7},{"size":16,"count":7},{"size":17,"count":8},{"size":18,"count":1},{"size":29,"count":30},{"size":30,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":2,"count":60},{"degree":31,"count":30},{"degree":32,"count":29},{"degree":33,"count":1}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 30 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":960},{"arity":30,"count":1}] |
| Number of extensional constraints | 60 |
| Number of intensional constraints | 901 |
| Distribution of constraint types | [{"type":"extension","count":60},{"type":"intension","count":901},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.02 c 0.00/0.02 c This is cosoco 2.00 -- 0.00/0.02 c 0.00/0.02 c command line: cosoco -model -nbcores=8 HOME/instance-4409930-1569829133.xml 0.00/0.02 c intension imp(eq(s[0],0),ne(l[0],0)) -> extension (support ? 0) - 1tuples 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 imp(eq(s[1],1),ne(l[0],1)) -> extension (support ? 0) - 1tuples 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension -> extension : same as previous 0.00/0.05 c intension imp(eq(s[2],2),ne(l[0],2)) -> extension (support ? 0) - 1tuples 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 imp(eq(s[3],3),ne(l[0],3)) -> extension (support ? 0) - 1tuples 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension -> extension : same as previous 0.00/0.07 c intension imp(eq(s[4],4),ne(l[0],4)) -> extension (support ? 0) - 1tuples 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 imp(eq(s[5],5),ne(l[0],5)) -> extension (support ? 0) - 1tuples 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension -> extension : same as previous 0.00/0.10 c intension imp(eq(s[6],6),ne(l[0],6)) -> extension (support ? 0) - 1tuples 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension -> extension : same as previous 0.10/0.11 c intension imp(eq(s[7],7),ne(l[0],7)) -> extension (support ? 0) - 1tuples 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension -> extension : same as previous 0.10/0.13 c intension imp(eq(s[8],8),ne(l[0],8)) -> extension (support ? 0) - 1tuples 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 imp(eq(s[9],9),ne(l[0],9)) -> extension (support ? 0) - 1tuples 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension -> extension : same as previous 0.10/0.15 c intension imp(eq(s[10],10),ne(l[0],10)) -> extension (support ? 0) - 1tuples 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.16 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension -> extension : same as previous 0.10/0.17 c intension imp(eq(s[11],11),ne(l[0],11)) -> extension (support ? 0) - 1tuples 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension -> extension : same as previous 0.10/0.18 c intension imp(eq(s[12],12),ne(l[0],12)) -> extension (support ? 0) - 1tuples 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension -> extension : same as previous 0.10/0.19 c intension imp(eq(s[13],13),ne(l[0],13)) -> extension (support ? 0) - 1tuples 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension -> extension : same as previous 0.10/0.20 c intension imp(eq(s[14],14),ne(l[0],14)) -> extension (support ? 0) - 1tuples 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension -> extension : same as previous 0.21/0.22 c intension imp(eq(s[15],15),ne(l[0],15)) -> extension (support ? 0) - 1tuples 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension -> extension : same as previous 0.21/0.23 c intension imp(eq(s[16],16),ne(l[0],16)) -> extension (support ? 0) - 1tuples 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension -> extension : same as previous 0.21/0.24 c intension imp(eq(s[17],17),ne(l[0],17)) -> extension (support ? 0) - 1tuples 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension -> extension : same as previous 0.21/0.26 c intension imp(eq(s[18],18),ne(l[0],18)) -> extension (support ? 0) - 1tuples 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension -> extension : same as previous 0.21/0.27 c intension imp(eq(s[19],19),ne(l[0],19)) -> extension (support ? 0) - 1tuples 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension -> extension : same as previous 0.21/0.28 c intension imp(eq(s[20],20),ne(l[0],20)) -> extension (support ? 0) - 1tuples 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension -> extension : same as previous 0.21/0.30 c intension imp(eq(s[21],21),ne(l[0],21)) -> extension (support ? 0) - 1tuples 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension -> extension : same as previous 0.21/0.31 c intension imp(eq(s[22],22),ne(l[0],22)) -> extension (support ? 0) - 1tuples 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension -> extension : same as previous 0.30/0.32 c intension imp(eq(s[23],23),ne(l[0],23)) -> extension (support ? 0) - 1tuples 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension -> extension : same as previous 0.30/0.33 c intension imp(eq(s[24],24),ne(l[0],24)) -> extension (support ? 0) - 1tuples 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension -> extension : same as previous 0.30/0.35 c intension imp(eq(s[25],25),ne(l[0],25)) -> extension (support ? 0) - 1tuples 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension -> extension : same as previous 0.30/0.36 c intension imp(eq(s[26],26),ne(l[0],26)) -> extension (support ? 0) - 1tuples 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension -> extension : same as previous 0.30/0.37 c intension imp(eq(s[27],27),ne(l[0],27)) -> extension (support ? 0) - 1tuples 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension -> extension : same as previous 0.30/0.39 c intension imp(eq(s[28],28),ne(l[0],28)) -> extension (support ? 0) - 1tuples 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension -> extension : same as previous 0.30/0.40 c intension imp(eq(s[29],29),ne(l[0],29)) -> extension (support ? 0) - 0tuples 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c intension -> extension : same as previous 0.40/0.43 c enable optimization 0.40/0.43 c ========================================[ Problem Statistics ]=========================================== 0.40/0.43 c | 0.40/0.43 c | Parse time : 0.41 s 0.40/0.43 c | 0.40/0.43 c | Variables: 120 0.40/0.43 c | Domain Sizes: 2..30 0.40/0.43 c | 0.40/0.43 c | Constraints: 963 0.40/0.43 c | Arity: 1..60 -- Unary: 1 -- Binary: 960 0.40/0.43 c | 0.40/0.43 c | Types: 0.40/0.43 c | Circuit: 1 0.40/0.43 c | Extension: 960 (nb tuples: 0..29) -- (shared: 6960) 0.40/0.43 c | Sum: 1 0.40/0.43 c | Unary: 1 0.40/0.43 c | 0.40/0.43 c | Objective: Minimize Sum 0.40/0.43 0.40/0.43 c ========================================================================================================= 0.40/0.43 c Parallel mode: Portfolio 0.40/0.43 c [pFactory][Group N°0] created (threads:8). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.40/0.43 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.40/0.43 c [pFactory][Group N°0] concurrent mode: enabled. 0.40/0.43 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.40/0.43 c [pFactory][Group N°0] task 7 launched on thread 0. 0.40/0.43 c [pFactory][Group N°0] task 6 launched on thread 1. 0.40/0.43 c [pFactory][Group N°0] task 5 launched on thread 2. 0.40/0.43 c [pFactory][Group N°0] task 4 launched on thread 5. 0.40/0.43 c [pFactory][Group N°0] task 3 launched on thread 6. 0.40/0.43 c [pFactory][Group N°0] task 2 launched on thread 4. 0.40/0.43 c [pFactory][Group N°0] task 1 launched on thread 7. 0.40/0.43 c [pFactory][Group N°0] task 0 launched on thread 3. 0.40/0.43 o 376 0.40/0.43 o 272 0.40/0.44 o 257 0.40/0.44 o 256 0.40/0.44 o 235 0.40/0.50 o 231 1.17/0.52 o 220 1.17/0.59 o 209 1.91/0.69 o 194 2.63/0.73 o 179 3.43/0.83 o 177 5.90/1.14 o 176 5.90/1.17 o 175 6.62/1.23 o 163 7.42/1.31 o 148 7.42/1.38 o 147 9.83/1.66 o 146 9.83/1.67 o 132 10.62/1.73 c [pFactory][Group N°0] concurent mode: thread 0 has won with the task 7. 10.62/1.73 c [pFactory][Group N°0] Thread N°0 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°1 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°2 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°3 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°4 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°5 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°6 is joined. 10.62/1.73 c [pFactory][Group N°0] Thread N°7 is joined. 10.62/1.73 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°0) 10.62/1.73 s OPTIMUM FOUND 10.62/1.73 c call to solver : 21 10.62/1.73 c 10.62/1.73 c restarts : 822 10.62/1.73 c conflicts : 1894 (174 /sec) 10.62/1.73 c decisions : 18647 (1718 /sec) 10.62/1.73 c propagations : 620136 (57130 /sec) 10.62/1.73 c root propagations : 774 10.62/1.73 c filter calls : 3536693 (325817 /sec) 10.62/1.73 c useless filter calls : 3308717 (93 %) 10.62/1.73 c Memory used : 590.45 MB 10.62/1.73 c Best bound time (wc) : 1.66898 s 10.62/1.73 c CPU time : 10.8548 s 10.62/1.73 c real time : 1.72882 s 10.62/1.73 10.62/1.73 10.62/1.73 v <instantiation type='solution' cost='132'> 10.62/1.73 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] d[0] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[1] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] l[0] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[1] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] </list> 10.62/1.73 v <values>2 2 5 4 5 4 1 4 1 4 4 3 7 4 4 2 5 1 1 1 1 5 5 4 2 1 3 1 2 4 0 4 1 0 0 0 0 16 5 0 0 0 0 0 8 3 0 0 0 0 1 2 0 0 0 0 0 0 0 0 28 16 10 11 10 28 17 23 10 23 16 28 16 10 28 16 10 22 11 11 10 16 10 11 23 17 17 10 10 23 0 11 17 12 13 14 15 10 23 18 19 1 20 21 16 29 24 25 26 27 22 28 2 3 4 5 6 7 8 9 </values> 10.62/1.73 v </instantiation> 10.62/1.73
OK 132
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 (15267 MiB free)
memory of node 1: 16384 MiB (15675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409930-1569829133/watcher-4409930-1569829133 -o /tmp/evaluation-result-4409930-1569829133/solver-4409930-1569829133 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409930-1569829133.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=25394, runsolver pid=25391
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 7.54 7.33 7.22 2/193 25395
/proc/meminfo: memFree=31679988/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=32724 memory=9100 CPUtime=0.1 cores=0-7
/proc/25394/stat : 25394 (cosoco) R 25391 25394 23681 0 -1 4202496 2462 0 0 0 10 0 0 0 20 0 1 0 559180014 33509376 2275 33554432000 4194304 6211132 140721736370384 140721736366920 140139905121253 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 8181 2275 827 493 0 1486 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32724 KiB
Current children cumulated memory: 9100 KiB
[startup+0.209221 s]*
/proc/loadavg: 7.54 7.33 7.22 2/193 25395
/proc/meminfo: memFree=31675788/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=37324 memory=13708 CPUtime=0.21 cores=0-7
/proc/25394/stat : 25394 (cosoco) R 25391 25394 23681 0 -1 4202496 3589 0 0 0 21 0 0 0 20 0 1 0 559180014 38219776 3427 33554432000 4194304 6211132 140721736370384 140721736366920 140139905582060 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 9331 3427 827 493 0 2636 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37324 KiB
Current children cumulated memory: 13708 KiB
[startup+0.308648 s]*
/proc/loadavg: 7.54 7.33 7.22 2/193 25395
/proc/meminfo: memFree=31671696/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=41456 memory=17704 CPUtime=0.3 cores=0-7
/proc/25394/stat : 25394 (cosoco) R 25391 25394 23681 0 -1 4202496 4618 0 0 0 30 0 0 0 20 0 1 0 559180014 42450944 4426 33554432000 4194304 6211132 140721736370384 140721736366920 5441760 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 10364 4426 827 493 0 3669 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41456 KiB
Current children cumulated memory: 17704 KiB
[startup+0.700563 s]
/proc/loadavg: 7.54 7.33 7.22 9/201 25403
/proc/meminfo: memFree=31664516/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=637400 memory=24188 CPUtime=2.63 cores=0-7
/proc/25394/stat : 25394 (cosoco) S 25391 25394 23681 0 -1 1077944320 6529 0 0 0 262 1 0 0 20 0 9 0 559180014 652697600 6047 33554432000 4194304 6211132 140721736370384 140721736368640 140139921161975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 159350 6047 872 493 0 152655 0
[pid=25394/tid=25396] ppid=25391 vsize=637400 memory=5782674880105308224 CPUtime=0.27 cores=0-7
/proc/25394/task/25396/stat : 25396 (cosoco) R 25391 25394 23681 0 -1 4202560 42 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139898019088 5155936 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25397] ppid=25391 vsize=637400 memory=7597685182856913236 CPUtime=0.27 cores=0-7
/proc/25394/task/25397/stat : 25397 (cosoco) R 25391 25394 23681 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139889626384 5017168 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25398] ppid=25391 vsize=637400 memory=1404222121492520310 CPUtime=0.27 cores=0-7
/proc/25394/task/25398/stat : 25398 (cosoco) R 25391 25394 23681 0 -1 4202560 36 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139881233424 5079374 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25399] ppid=25391 vsize=637400 memory=7739834362435234151 CPUtime=0.27 cores=0-7
/proc/25394/task/25399/stat : 25399 (cosoco) R 25391 25394 23681 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139872840376 5145235 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25400] ppid=25391 vsize=637400 memory=6083354206233319521 CPUtime=0.27 cores=0-7
/proc/25394/task/25400/stat : 25400 (cosoco) R 25391 25394 23681 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139864448272 5186318 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25401] ppid=25391 vsize=637400 memory=8292088564187963537 CPUtime=0.27 cores=0-7
/proc/25394/task/25401/stat : 25401 (cosoco) R 25391 25394 23681 0 -1 4202560 36 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139856055312 5157620 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25402] ppid=25391 vsize=637400 memory=-6737208495982354336 CPUtime=0.26 cores=0-7
/proc/25394/task/25402/stat : 25402 (cosoco) R 25391 25394 23681 0 -1 4202560 37 0 0 0 26 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139847662608 5157163 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25403] ppid=25391 vsize=637400 memory=8025788835569559914 CPUtime=0.27 cores=0-7
/proc/25394/task/25403/stat : 25403 (cosoco) R 25391 25394 23681 0 -1 4202560 37 0 0 0 27 0 0 0 20 0 9 0 559180056 652697600 6047 33554432000 4194304 6211132 140721736370384 140139839269904 5158217 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 637400 KiB
Current children cumulated memory: 24188 KiB
[startup+1.50057 s]
/proc/loadavg: 7.54 7.33 7.22 9/201 25403
/proc/meminfo: memFree=31665372/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=637400 memory=25384 CPUtime=9.02 cores=0-7
/proc/25394/stat : 25394 (cosoco) S 25391 25394 23681 0 -1 1077944320 11796 0 0 0 900 2 0 0 20 0 9 0 559180014 652697600 6346 33554432000 4194304 6211132 140721736370384 140721736368640 140139921161975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 159350 6346 880 493 0 152655 0
[pid=25394/tid=25396] ppid=25391 vsize=637400 memory=4616 CPUtime=1.07 cores=0-7
/proc/25394/task/25396/stat : 25396 (cosoco) R 25391 25394 23681 0 -1 4202560 414 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139898019088 5250482 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25397] ppid=25391 vsize=637400 memory=4108 CPUtime=1.07 cores=0-7
/proc/25394/task/25397/stat : 25397 (cosoco) R 25391 25394 23681 0 -1 4202560 746 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139889626384 5193786 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25398] ppid=25391 vsize=637400 memory=0 CPUtime=1.07 cores=0-7
/proc/25394/task/25398/stat : 25398 (cosoco) R 25391 25394 23681 0 -1 4202560 233 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139881233424 5008918 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25399] ppid=25391 vsize=637400 memory=1764 CPUtime=1.07 cores=0-7
/proc/25394/task/25399/stat : 25399 (cosoco) R 25391 25394 23681 0 -1 4202560 1325 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139872840376 5250325 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25400] ppid=25391 vsize=637400 memory=111632 CPUtime=1.07 cores=0-7
/proc/25394/task/25400/stat : 25400 (cosoco) R 25391 25394 23681 0 -1 4202560 274 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139864448272 5250325 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25401] ppid=25391 vsize=637400 memory=777 CPUtime=1.07 cores=0-7
/proc/25394/task/25401/stat : 25401 (cosoco) R 25391 25394 23681 0 -1 4202560 742 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139856055312 5389476 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25402] ppid=25391 vsize=637400 memory=1808 CPUtime=1.05 cores=0-7
/proc/25394/task/25402/stat : 25402 (cosoco) R 25391 25394 23681 0 -1 4202560 255 0 0 0 105 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139847662608 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25403] ppid=25391 vsize=637400 memory=924 CPUtime=1.07 cores=0-7
/proc/25394/task/25403/stat : 25403 (cosoco) R 25391 25394 23681 0 -1 4202560 1577 0 0 0 107 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139839269904 5017243 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 637400 KiB
Current children cumulated memory: 25384 KiB
[startup+1.73537 s]
# the end of solver process 25394 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.8555 s, system=0.02399 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60156 s]
/proc/loadavg: 7.54 7.33 7.22 9/201 25403
/proc/meminfo: memFree=31665372/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=637400 memory=25384 CPUtime=9.83 cores=0-7
/proc/25394/stat : 25394 (cosoco) S 25391 25394 23681 0 -1 1077944320 11824 0 0 0 981 2 0 0 20 0 9 0 559180014 652697600 6346 33554432000 4194304 6211132 140721736370384 140721736368640 140139921161975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 159350 6346 880 493 0 152655 0
[pid=25394/tid=25396] ppid=25391 vsize=637400 memory=4715433313220523562 CPUtime=1.17 cores=0-7
/proc/25394/task/25396/stat : 25396 (cosoco) R 25391 25394 23681 0 -1 4202560 417 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139898019088 5079232 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25397] ppid=25391 vsize=637400 memory=1408 CPUtime=1.17 cores=0-7
/proc/25394/task/25397/stat : 25397 (cosoco) R 25391 25394 23681 0 -1 4202560 749 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139889626384 5075208 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25398] ppid=25391 vsize=637400 memory=6935054825532540783 CPUtime=1.17 cores=0-7
/proc/25394/task/25398/stat : 25398 (cosoco) R 25391 25394 23681 0 -1 4202560 239 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139881233424 5250319 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25399] ppid=25391 vsize=637400 memory=0 CPUtime=1.17 cores=0-7
/proc/25394/task/25399/stat : 25399 (cosoco) R 25391 25394 23681 0 -1 4202560 1328 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139872840376 5250319 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25400] ppid=25391 vsize=637400 memory=-2317720213663851332 CPUtime=1.17 cores=0-7
/proc/25394/task/25400/stat : 25400 (cosoco) R 25391 25394 23681 0 -1 4202560 274 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139864448272 5157988 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25401] ppid=25391 vsize=637400 memory=6944656592455097440 CPUtime=1.17 cores=0-7
/proc/25394/task/25401/stat : 25401 (cosoco) R 25391 25394 23681 0 -1 4202560 748 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139856055312 5250319 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25402] ppid=25391 vsize=637400 memory=6944652177228980320 CPUtime=1.15 cores=0-7
/proc/25394/task/25402/stat : 25402 (cosoco) R 25391 25394 23681 0 -1 4202560 260 0 0 0 115 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139847662608 5017476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25403] ppid=25391 vsize=637400 memory=-7814691523512926820 CPUtime=1.17 cores=0-7
/proc/25394/task/25403/stat : 25403 (cosoco) R 25391 25394 23681 0 -1 4202560 1579 0 0 0 117 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139839269904 5158038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
Current children cumulated CPU time: 9.83 s
Current children cumulated vsize: 637400 KiB
Current children cumulated memory: 25384 KiB
[startup+1.70056 s]
/proc/loadavg: 7.54 7.33 7.22 9/201 25403
/proc/meminfo: memFree=31665372/32770624 swapFree=66975632/67108860
[pid=25394] ppid=25391 vsize=637400 memory=25384 CPUtime=10.62 cores=0-7
/proc/25394/stat : 25394 (cosoco) S 25391 25394 23681 0 -1 1077944320 11857 0 0 0 1060 2 0 0 20 0 9 0 559180014 652697600 6346 33554432000 4194304 6211132 140721736370384 140721736368640 140139921161975 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
/proc/25394/statm: 159350 6346 880 493 0 152655 0
[pid=25394/tid=25396] ppid=25391 vsize=637400 memory=4616 CPUtime=1.27 cores=0-7
/proc/25394/task/25396/stat : 25396 (cosoco) R 25391 25394 23681 0 -1 4202560 423 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139898019088 5186330 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25397] ppid=25391 vsize=637400 memory=4108 CPUtime=1.27 cores=0-7
/proc/25394/task/25397/stat : 25397 (cosoco) R 25391 25394 23681 0 -1 4202560 754 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139889626240 5157210 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25398] ppid=25391 vsize=637400 memory=0 CPUtime=1.27 cores=0-7
/proc/25394/task/25398/stat : 25398 (cosoco) R 25391 25394 23681 0 -1 4202560 246 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139881233424 5193776 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25399] ppid=25391 vsize=637400 memory=1764 CPUtime=1.27 cores=0-7
/proc/25394/task/25399/stat : 25399 (cosoco) R 25391 25394 23681 0 -1 4202560 1328 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139872840376 5017569 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25400] ppid=25391 vsize=637400 memory=111632 CPUtime=1.27 cores=0-7
/proc/25394/task/25400/stat : 25400 (cosoco) R 25391 25394 23681 0 -1 4202560 278 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139864448272 5017476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25401] ppid=25391 vsize=637400 memory=777 CPUtime=1.27 cores=0-7
/proc/25394/task/25401/stat : 25401 (cosoco) R 25391 25394 23681 0 -1 4202560 759 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139856055568 5017440 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25402] ppid=25391 vsize=637400 memory=1808 CPUtime=1.25 cores=0-7
/proc/25394/task/25402/stat : 25402 (cosoco) R 25391 25394 23681 0 -1 4202560 260 0 0 0 125 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139847662720 5017395 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
[pid=25394/tid=25403] ppid=25391 vsize=637400 memory=924 CPUtime=1.27 cores=0-7
/proc/25394/task/25403/stat : 25403 (cosoco) R 25391 25394 23681 0 -1 4202560 1579 0 0 0 127 0 0 0 20 0 9 0 559180056 652697600 6346 33554432000 4194304 6211132 140721736370384 140139839269904 5155839 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 39743488 140721736377366 140721736377458 140721736377458 140721736380366 0
Current children cumulated CPU time: 10.62 s
Current children cumulated vsize: 637400 KiB
Current children cumulated memory: 25384 KiB
Child status: 0
Real time (s): 1.73541
CPU time (s): 10.8795
CPU user time (s): 10.8555
CPU system time (s): 0.02399
CPU usage (%): 626.914
Max. virtual memory (cumulated for all children) (KiB): 637400
Max. memory (cumulated for all children) (KiB): 25384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8555
system time used= 0.02399
maximum resident set size= 25500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11897
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= 54
involuntary context switches= 101
# summary of solver processes directly reported to runsolver:
# pid: 25394
# total CPU time (s): 10.8795
# total CPU user time (s): 10.8555
# total CPU system time (s): 0.02399
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026967 second user time and 0.058428 second system time
The end
Begin job on node125 at 2019-09-30 09:38:09 IDJOB=4409930 IDBENCH=126830 IDSOLVER=2878 FILE ID=node125/4409930-1569829133 RUNJOBID= node125-1569817883-23708 PBS_JOBID= 21705920 Free space on /tmp= 62032 MiB SOLVER NAME= cosoco 2.0 parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-5-30-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409930-1569829133/watcher-4409930-1569829133 -o /tmp/evaluation-result-4409930-1569829133/solver-4409930-1569829133 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node125-1569817883-23708 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409930-1569829133.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= ef915df37055c75537688959881a75d3 RANDOM SEED=81747989 node125.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.29 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.29 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.29 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.29 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: 31686116 kB MemAvailable: 31846088 kB Buffers: 108040 kB Cached: 391312 kB SwapCached: 29876 kB Active: 365948 kB Inactive: 169280 kB Active(anon): 5176 kB Inactive(anon): 111328 kB Active(file): 360772 kB Inactive(file): 57952 kB Unevictable: 106456 kB Mlocked: 106456 kB SwapTotal: 67108860 kB SwapFree: 66975632 kB Dirty: 2900 kB Writeback: 0 kB AnonPages: 135864 kB Mapped: 27092 kB Shmem: 72012 kB Slab: 143288 kB SReclaimable: 114168 kB SUnreclaim: 29120 kB KernelStack: 3744 kB PageTables: 5784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 539216 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 114048 kB DirectMap2M: 33431552 kB Free space on /tmp at the end= 62028 MiB End job on node125 at 2019-09-30 09:38:11