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 | 124 | 15.6869 | 2.41744 |
| Name | Tpp/Tpp-zinc-s1/ Tpp-7-5-30-1.xml |
| MD5SUM | 74f6b053d0485b3d7d553e00e4caa41f |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 124 |
| Best CPU time to get the best result obtained on this benchmark | 2.0694 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 130 |
| Number of constraints | 1117 |
| Number of domains | 67 |
| Minimum domain size | 2 |
| Maximum domain size | 35 |
| Distribution of domain sizes | [{"size":2,"count":1},{"size":3,"count":6},{"size":4,"count":18},{"size":5,"count":10},{"size":14,"count":2},{"size":15,"count":2},{"size":16,"count":7},{"size":17,"count":12},{"size":18,"count":6},{"size":19,"count":1},{"size":34,"count":30},{"size":35,"count":35}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 36 |
| Distribution of variable degrees | [{"degree":2,"count":65},{"degree":32,"count":34},{"degree":33,"count":1},{"degree":36,"count":30}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 35 |
| Distribution of constraint arities | [{"arity":1,"count":1},{"arity":2,"count":1115},{"arity":35,"count":1}] |
| Number of extensional constraints | 65 |
| Number of intensional constraints | 1051 |
| Distribution of constraint types | [{"type":"extension","count":65},{"type":"intension","count":1051},{"type":"circuit","count":1}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.00/0.03 c 0.00/0.03 c This is cosoco 2.00 -- 0.00/0.03 c 0.00/0.03 c command line: cosoco -model -nbcores=8 HOME/instance-4398645-1568608857.xml 0.00/0.03 c intension imp(eq(s[0],0),ne(l[0],0)) -> extension (support ? 0) - 1tuples 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension -> extension : same as previous 0.00/0.04 c intension 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.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[3],3),ne(l[0],3)) -> extension (support ? 0) - 1tuples 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension -> extension : same as previous 0.00/0.08 c intension 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.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[6],6),ne(l[0],6)) -> extension (support ? 0) - 1tuples 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 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.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[9],9),ne(l[0],9)) -> 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.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 imp(eq(s[10],10),ne(l[0],10)) -> 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[11],11),ne(l[0],11)) -> 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[12],12),ne(l[0],12)) -> 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[13],13),ne(l[0],13)) -> 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[14],14),ne(l[0],14)) -> 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[15],15),ne(l[0],15)) -> 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[16],16),ne(l[0],16)) -> 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[17],17),ne(l[0],17)) -> 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[18],18),ne(l[0],18)) -> 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[19],19),ne(l[0],19)) -> 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[20],20),ne(l[0],20)) -> 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[21],21),ne(l[0],21)) -> 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[22],22),ne(l[0],22)) -> extension (support ? 0) - 1tuples 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension -> extension : same as previous 0.30/0.34 c intension imp(eq(s[23],23),ne(l[0],23)) -> 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[24],24),ne(l[0],24)) -> 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[25],25),ne(l[0],25)) -> extension (support ? 0) - 1tuples 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension -> extension : same as previous 0.30/0.38 c intension imp(eq(s[26],26),ne(l[0],26)) -> 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[27],27),ne(l[0],27)) -> extension (support ? 0) - 1tuples 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension -> extension : same as previous 0.30/0.41 c intension imp(eq(s[28],28),ne(l[0],28)) -> extension (support ? 0) - 1tuples 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension -> extension : same as previous 0.40/0.42 c intension imp(eq(s[29],29),ne(l[0],29)) -> extension (support ? 0) - 1tuples 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 intension imp(eq(s[30],30),ne(l[0],30)) -> extension (support ? 0) - 1tuples 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension -> extension : same as previous 0.40/0.45 c intension imp(eq(s[31],31),ne(l[0],31)) -> extension (support ? 0) - 1tuples 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension -> extension : same as previous 0.40/0.46 c intension imp(eq(s[32],32),ne(l[0],32)) -> extension (support ? 0) - 1tuples 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.47 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension -> extension : same as previous 0.40/0.48 c intension imp(eq(s[33],33),ne(l[0],33)) -> extension (support ? 0) - 1tuples 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension -> extension : same as previous 0.40/0.49 c intension imp(eq(s[34],34),ne(l[0],34)) -> extension (support ? 0) - 0tuples 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c intension -> extension : same as previous 0.52/0.52 c enable optimization 0.52/0.52 c ========================================[ Problem Statistics ]=========================================== 0.52/0.52 c | 0.52/0.52 c | Parse time : 0.50 s 0.52/0.52 c | 0.52/0.52 c | Variables: 130 0.52/0.52 c | Domain Sizes: 2..35 0.52/0.52 c | 0.52/0.52 c | Constraints: 1118 0.52/0.52 c | Arity: 1..65 -- Unary: 1 -- Binary: 1115 0.52/0.52 c | 0.52/0.52 c | Types: 0.52/0.52 c | Circuit: 1 0.52/0.52 c | Extension: 1115 (nb tuples: 0..34) -- (shared: 8120) 0.52/0.52 c | Sum: 1 0.52/0.52 c | Unary: 1 0.52/0.52 c | 0.52/0.52 c | Objective: Minimize Sum 0.52/0.52 0.52/0.52 c ========================================================================================================= 0.52/0.52 c Parallel mode: Portfolio 0.52/0.52 c [pFactory][Group N°0] created (threads:8). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:1). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:2). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:3). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:4). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:5). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:6). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:7). 0.52/0.52 c [pFactory][Group N°0] new task added (threads:8 - tasks:8). 0.52/0.52 c [pFactory][Group N°0] concurrent mode: enabled. 0.52/0.52 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8). 0.52/0.52 c [pFactory][Group N°0] task 7 launched on thread 5. 0.52/0.52 c [pFactory][Group N°0] task 6 launched on thread 0. 0.52/0.52 c [pFactory][Group N°0] task 5 launched on thread 1. 0.52/0.52 c [pFactory][Group N°0] task 4 launched on thread 6. 0.52/0.52 c [pFactory][Group N°0] task 3 launched on thread 2. 0.52/0.52 c [pFactory][Group N°0] task 2 launched on thread 4. 0.52/0.52 c [pFactory][Group N°0] task 1 launched on thread 7. 0.52/0.52 c [pFactory][Group N°0] task 0 launched on thread 3. 0.52/0.52 o 994 0.52/0.52 o 345 0.52/0.54 o 332 0.52/0.56 o 331 0.52/0.57 o 322 0.52/0.58 o 320 0.52/0.60 o 317 1.27/0.61 o 314 1.27/0.62 o 307 1.27/0.63 o 295 1.27/0.64 o 292 1.27/0.69 o 220 2.00/0.71 o 219 2.00/0.73 o 196 2.80/0.83 o 195 2.80/0.85 o 193 2.80/0.88 o 191 3.60/0.93 o 189 3.60/0.94 o 188 3.60/0.94 o 187 3.60/0.95 o 184 3.60/0.95 o 182 3.60/0.97 o 179 4.45/1.08 o 173 5.98/1.26 o 172 5.98/1.28 o 169 6.78/1.31 o 168 6.78/1.32 o 167 6.78/1.36 o 158 8.38/1.51 o 152 8.38/1.52 o 151 8.38/1.53 o 150 8.38/1.54 o 149 8.38/1.54 o 148 9.19/1.61 o 146 12.44/2.04 o 144 13.97/2.25 o 143 13.97/2.26 o 140 13.97/2.29 o 139 14.77/2.31 o 135 14.77/2.35 o 124 15.62/2.41 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 4. 15.62/2.41 c [pFactory][Group N°0] Thread N°0 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°1 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°2 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°3 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°4 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°5 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°6 is joined. 15.62/2.41 c [pFactory][Group N°0] Thread N°7 is joined. 15.62/2.41 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°6) 15.62/2.41 s OPTIMUM FOUND 15.62/2.41 c call to solver : 17 15.62/2.41 c 15.62/2.41 c restarts : 1117 15.62/2.41 c conflicts : 2542 (162 /sec) 15.62/2.41 c decisions : 20759 (1326 /sec) 15.62/2.41 c propagations : 1098897 (70204 /sec) 15.62/2.41 c root propagations : 1076 15.62/2.41 c filter calls : 4842345 (309358 /sec) 15.62/2.41 c useless filter calls : 4468949 (92 %) 15.62/2.41 c Memory used : 594.59 MB 15.62/2.41 c Best bound time (wc) : 2.3515 s 15.62/2.41 c CPU time : 15.6528 s 15.62/2.41 c real time : 2.41068 s 15.62/2.41 15.62/2.41 15.62/2.41 v <instantiation type='solution' cost='124'> 15.62/2.41 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[30] d[31] d[32] d[33] d[34] 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[30] s[31] s[32] s[33] s[34] s[3] s[4] s[5] s[6] s[7] s[8] s[9] </list> 15.62/2.41 v <values>4 1 2 2 2 1 3 2 2 3 1 1 3 4 2 1 1 1 4 2 1 4 8 1 2 3 1 2 1 4 0 0 0 0 0 0 0 0 5 4 9 0 0 0 0 0 2 0 1 2 0 0 0 0 5 8 12 7 0 0 0 0 0 0 0 26 32 32 27 26 18 24 24 18 26 33 31 24 18 17 32 19 17 27 27 33 18 33 19 18 24 31 24 24 31 0 10 11 12 13 14 15 16 18 19 26 1 20 21 22 23 17 25 27 34 28 29 2 30 24 31 32 33 3 4 5 6 7 8 9 </values> 15.62/2.41 v </instantiation> 15.62/2.41
OK 124
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 (14696 MiB free)
memory of node 1: 16384 MiB (15814 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398645-1568608857/watcher-4398645-1568608857 -o /tmp/evaluation-result-4398645-1568608857/solver-4398645-1568608857 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398645-1568608857.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
Current StackSize limit: 8192 KiB
solver pid=5107, runsolver pid=5104
[startup+0.100157 s]*
/proc/loadavg: 7.34 6.66 5.72 2/190 5108
/proc/meminfo: memFree=31237616/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=32936 memory=9172 CPUtime=0.1 cores=0-7
/proc/5107/stat : 5107 (cosoco) R 5104 5107 1328 0 -1 4202496 2490 0 0 0 10 0 0 0 20 0 1 0 437154242 33726464 2293 33554432000 4194304 6211092 140721851752256 140721851748792 5283511 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 8234 2293 827 493 0 1539 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32936 KiB
Current children cumulated memory: 9172 KiB
[startup+0.209306 s]*
/proc/loadavg: 7.34 6.66 5.72 2/190 5108
/proc/meminfo: memFree=31233152/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=37280 memory=13648 CPUtime=0.21 cores=0-7
/proc/5107/stat : 5107 (cosoco) R 5104 5107 1328 0 -1 4202496 3586 0 0 0 21 0 0 0 20 0 1 0 437154242 38174720 3412 33554432000 4194304 6211092 140721851752256 140721851748792 5215181 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 9320 3412 827 493 0 2625 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37280 KiB
Current children cumulated memory: 13648 KiB
[startup+0.308608 s]*
/proc/loadavg: 7.34 6.66 5.72 2/190 5108
/proc/meminfo: memFree=31229904/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=41240 memory=17612 CPUtime=0.3 cores=0-7
/proc/5107/stat : 5107 (cosoco) R 5104 5107 1328 0 -1 4202496 4583 0 0 0 30 0 0 0 20 0 1 0 437154242 42229760 4403 33554432000 4194304 6211092 140721851752256 140721851747656 139811610950629 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 10310 4403 827 493 0 3615 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 17612 KiB
[startup+0.70063 s]
/proc/loadavg: 7.34 6.66 5.72 2/190 5108
/proc/meminfo: memFree=31220728/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=641644 memory=28284 CPUtime=2 cores=0-7
/proc/5107/stat : 5107 (cosoco) S 5104 5107 1328 0 -1 1077944320 7616 0 0 0 199 1 0 0 20 0 9 0 437154242 657043456 7071 33554432000 4194304 6211092 140721851752256 140721851750512 139811626991351 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 160411 7071 860 493 0 153716 0
[pid=5107/tid=5109] ppid=5104 vsize=641644 memory=3470692292451393600 CPUtime=0.18 cores=0-7
/proc/5107/task/5109/stat : 5109 (cosoco) R 5104 5107 1328 0 -1 4202560 45 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811603848208 5017495 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5110] ppid=5104 vsize=641644 memory=3470692292451393600 CPUtime=0.18 cores=0-7
/proc/5107/task/5110/stat : 5110 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811595455504 5250289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5111] ppid=5104 vsize=641644 memory=8470556256160687233 CPUtime=0.18 cores=0-7
/proc/5107/task/5111/stat : 5111 (cosoco) R 5104 5107 1328 0 -1 4202560 43 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811587063056 5155852 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5112] ppid=5104 vsize=641644 memory=4638778398333358185 CPUtime=0.18 cores=0-7
/proc/5107/task/5112/stat : 5112 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811578670096 5157540 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5113] ppid=5104 vsize=641644 memory=6935649255759568960 CPUtime=0.18 cores=0-7
/proc/5107/task/5113/stat : 5113 (cosoco) R 5104 5107 1328 0 -1 4202560 43 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811570277392 5017569 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5114] ppid=5104 vsize=641644 memory=-7965959130280075168 CPUtime=0.18 cores=0-7
/proc/5107/task/5114/stat : 5114 (cosoco) R 5104 5107 1328 0 -1 4202560 47 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811561884944 5250287 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5115] ppid=5104 vsize=641644 memory=8292088564187963537 CPUtime=0.18 cores=0-7
/proc/5107/task/5115/stat : 5115 (cosoco) R 5104 5107 1328 0 -1 4202560 42 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811553491984 5017569 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5116] ppid=5104 vsize=641644 memory=1404222121492520310 CPUtime=0.18 cores=0-7
/proc/5107/task/5116/stat : 5116 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 18 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811545099536 5250234 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 641644 KiB
Current children cumulated memory: 28284 KiB
[startup+1.50063 s]
/proc/loadavg: 7.34 6.66 5.72 9/198 5116
/proc/meminfo: memFree=31218388/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=641644 memory=28284 CPUtime=8.38 cores=0-7
/proc/5107/stat : 5107 (cosoco) S 5104 5107 1328 0 -1 1077944320 7616 0 0 0 837 1 0 0 20 0 9 0 437154242 657043456 7071 33554432000 4194304 6211092 140721851752256 140721851750512 139811626991351 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 160411 7071 860 493 0 153716 0
[pid=5107/tid=5109] ppid=5104 vsize=641644 memory=1540 CPUtime=0.98 cores=0-7
/proc/5107/task/5109/stat : 5109 (cosoco) R 5104 5107 1328 0 -1 4202560 45 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811603848464 5017476 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5110] ppid=5104 vsize=641644 memory=28284 CPUtime=0.98 cores=0-7
/proc/5107/task/5110/stat : 5110 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811595455504 5008971 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5111] ppid=5104 vsize=641644 memory=1748 CPUtime=0.98 cores=0-7
/proc/5107/task/5111/stat : 5111 (cosoco) R 5104 5107 1328 0 -1 4202560 43 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811587063056 5397375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5112] ppid=5104 vsize=641644 memory=111632 CPUtime=0.98 cores=0-7
/proc/5107/task/5112/stat : 5112 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811578670352 5081360 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5113] ppid=5104 vsize=641644 memory=808 CPUtime=0.97 cores=0-7
/proc/5107/task/5113/stat : 5113 (cosoco) R 5104 5107 1328 0 -1 4202560 43 0 0 0 97 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811570277392 5017569 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5114] ppid=5104 vsize=641644 memory=99 CPUtime=0.98 cores=0-7
/proc/5107/task/5114/stat : 5114 (cosoco) R 5104 5107 1328 0 -1 4202560 47 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811561884944 5017252 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5115] ppid=5104 vsize=641644 memory=568 CPUtime=0.98 cores=0-7
/proc/5107/task/5115/stat : 5115 (cosoco) R 5104 5107 1328 0 -1 4202560 42 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811553491984 5397235 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5116] ppid=5104 vsize=641644 memory=1388 CPUtime=0.98 cores=0-7
/proc/5107/task/5116/stat : 5116 (cosoco) R 5104 5107 1328 0 -1 4202560 44 0 0 0 98 0 0 0 20 0 9 0 437154293 657043456 7071 33554432000 4194304 6211092 140721851752256 139811545099280 5017444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
Current children cumulated CPU time: 8.38 s
Current children cumulated vsize: 641644 KiB
Current children cumulated memory: 28284 KiB
[startup+2.41738 s]
# the end of solver process 5107 was just reported to runsolver
# cumulated CPU time of all completed processes: user=15.653 s, system=0.033969 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60063 s]
/proc/loadavg: 7.34 6.66 5.72 9/198 5116
/proc/meminfo: memFree=31218388/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=641644 memory=29688 CPUtime=9.19 cores=0-7
/proc/5107/stat : 5107 (cosoco) S 5104 5107 1328 0 -1 1077944320 13920 0 0 0 916 3 0 0 20 0 9 0 437154242 657043456 7422 33554432000 4194304 6211092 140721851752256 140721851750512 139811626991351 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 160411 7422 868 493 0 153716 0
[pid=5107/tid=5109] ppid=5104 vsize=641644 memory=18 CPUtime=1.08 cores=0-7
/proc/5107/task/5109/stat : 5109 (cosoco) R 5104 5107 1328 0 -1 4202560 1008 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811603848464 5017472 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5110] ppid=5104 vsize=641644 memory=153 CPUtime=1.08 cores=0-7
/proc/5107/task/5110/stat : 5110 (cosoco) R 5104 5107 1328 0 -1 4202560 272 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811595455504 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5111] ppid=5104 vsize=641644 memory=-7035114785800479027 CPUtime=1.08 cores=0-7
/proc/5107/task/5111/stat : 5111 (cosoco) R 5104 5107 1328 0 -1 4202560 718 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811587063056 5082427 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5112] ppid=5104 vsize=641644 memory=-6948614817169703622 CPUtime=1.08 cores=0-7
/proc/5107/task/5112/stat : 5112 (cosoco) R 5104 5107 1328 0 -1 4202560 1334 0 0 0 107 1 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811578670352 5250287 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5113] ppid=5104 vsize=641644 memory=6943526294502006880 CPUtime=1.06 cores=0-7
/proc/5107/task/5113/stat : 5113 (cosoco) R 5104 5107 1328 0 -1 4202560 335 0 0 0 106 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811570277392 5250279 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5114] ppid=5104 vsize=641644 memory=6944656592387989600 CPUtime=1.08 cores=0-7
/proc/5107/task/5114/stat : 5114 (cosoco) R 5104 5107 1328 0 -1 4202560 444 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811561884944 5017569 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5115] ppid=5104 vsize=641644 memory=-3252517613198930781 CPUtime=1.08 cores=0-7
/proc/5107/task/5115/stat : 5115 (cosoco) R 5104 5107 1328 0 -1 4202560 905 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811553491984 5155804 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5116] ppid=5104 vsize=641644 memory=7084270341372207680 CPUtime=1.08 cores=0-7
/proc/5107/task/5116/stat : 5116 (cosoco) R 5104 5107 1328 0 -1 4202560 1640 0 0 0 108 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811545099280 5389444 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
Current children cumulated CPU time: 9.19 s
Current children cumulated vsize: 641644 KiB
Current children cumulated memory: 29688 KiB
[startup+2.00063 s]*
/proc/loadavg: 7.47 6.70 5.74 9/198 5116
/proc/meminfo: memFree=31218384/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=641644 memory=29688 CPUtime=12.44 cores=0-7
/proc/5107/stat : 5107 (cosoco) S 5104 5107 1328 0 -1 1077944320 13980 0 0 0 1241 3 0 0 20 0 9 0 437154242 657043456 7422 33554432000 4194304 6211092 140721851752256 140721851750512 139811626991351 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 160411 7422 868 493 0 153716 0
[pid=5107/tid=5109] ppid=5104 vsize=641644 memory=-7035114785800479027 CPUtime=1.49 cores=0-7
/proc/5107/task/5109/stat : 5109 (cosoco) R 5104 5107 1328 0 -1 4202560 1012 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811603848464 5156232 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5110] ppid=5104 vsize=641644 memory=4872558044660077418 CPUtime=1.49 cores=0-7
/proc/5107/task/5110/stat : 5110 (cosoco) R 5104 5107 1328 0 -1 4202560 280 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811595455504 5017277 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5111] ppid=5104 vsize=641644 memory=162594576934893 CPUtime=1.49 cores=0-7
/proc/5107/task/5111/stat : 5111 (cosoco) R 5104 5107 1328 0 -1 4202560 726 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811587063056 5081360 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5112] ppid=5104 vsize=641644 memory=281354315333680 CPUtime=1.49 cores=0-7
/proc/5107/task/5112/stat : 5112 (cosoco) R 5104 5107 1328 0 -1 4202560 1337 0 0 0 148 1 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811578670352 5017588 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5113] ppid=5104 vsize=641644 memory=4207744421517797738 CPUtime=1.46 cores=0-7
/proc/5107/task/5113/stat : 5113 (cosoco) R 5104 5107 1328 0 -1 4202560 346 0 0 0 146 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811570277392 5157536 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5114] ppid=5104 vsize=641644 memory=3467833496988889921 CPUtime=1.49 cores=0-7
/proc/5107/task/5114/stat : 5114 (cosoco) R 5104 5107 1328 0 -1 4202560 455 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811561884944 5250234 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5115] ppid=5104 vsize=641644 memory=7954882386903853416 CPUtime=1.49 cores=0-7
/proc/5107/task/5115/stat : 5115 (cosoco) R 5104 5107 1328 0 -1 4202560 913 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811553491984 5017277 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5116] ppid=5104 vsize=641644 memory=281354315017368 CPUtime=1.49 cores=0-7
/proc/5107/task/5116/stat : 5116 (cosoco) R 5104 5107 1328 0 -1 4202560 1647 0 0 0 149 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811545099280 5078762 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
Current children cumulated CPU time: 12.44 s
Current children cumulated vsize: 641644 KiB
Current children cumulated memory: 29688 KiB
[startup+2.40663 s]
/proc/loadavg: 7.47 6.70 5.74 9/198 5116
/proc/meminfo: memFree=31218384/32770624 swapFree=66921592/67108860
[pid=5107] ppid=5104 vsize=641644 memory=29688 CPUtime=15.62 cores=0-7
/proc/5107/stat : 5107 (cosoco) S 5104 5107 1328 0 -1 1077944320 14011 0 0 0 1559 3 0 0 20 0 9 0 437154242 657043456 7422 33554432000 4194304 6211092 140721851752256 140721851750512 139811626991351 0 0 4096 8405026 18446744073709551615 0 0 17 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
/proc/5107/statm: 160411 7422 868 493 0 153716 0
[pid=5107/tid=5109] ppid=5104 vsize=641644 memory=7810487918915055718 CPUtime=1.89 cores=0-7
/proc/5107/task/5109/stat : 5109 (cosoco) R 5104 5107 1328 0 -1 4202560 1017 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811603848464 5158006 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5110] ppid=5104 vsize=641644 memory=5859271421084456296 CPUtime=1.89 cores=0-7
/proc/5107/task/5110/stat : 5110 (cosoco) R 5104 5107 1328 0 -1 4202560 287 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811595455504 5017564 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5111] ppid=5104 vsize=641644 memory=4638778398332698728 CPUtime=1.89 cores=0-7
/proc/5107/task/5111/stat : 5111 (cosoco) R 5104 5107 1328 0 -1 4202560 731 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811587063056 5081703 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5112] ppid=5104 vsize=641644 memory=0 CPUtime=1.89 cores=0-7
/proc/5107/task/5112/stat : 5112 (cosoco) R 5104 5107 1328 0 -1 4202560 1341 0 0 0 188 1 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811578670352 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5113] ppid=5104 vsize=641644 memory=1060 CPUtime=1.86 cores=0-7
/proc/5107/task/5113/stat : 5113 (cosoco) R 5104 5107 1328 0 -1 4202560 348 0 0 0 186 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811570277392 5009244 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5114] ppid=5104 vsize=641644 memory=1484 CPUtime=1.89 cores=0-7
/proc/5107/task/5114/stat : 5114 (cosoco) R 5104 5107 1328 0 -1 4202560 457 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811561884944 5155804 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5115] ppid=5104 vsize=641644 memory=1096 CPUtime=1.89 cores=0-7
/proc/5107/task/5115/stat : 5115 (cosoco) R 5104 5107 1328 0 -1 4202560 915 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811553491984 5157976 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
[pid=5107/tid=5116] ppid=5104 vsize=641644 memory=1176 CPUtime=1.89 cores=0-7
/proc/5107/task/5116/stat : 5116 (cosoco) R 5104 5107 1328 0 -1 4202560 1651 0 0 0 189 0 0 0 20 0 9 0 437154293 657043456 7422 33554432000 4194304 6211092 140721851752256 139811545099280 5074819 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 17711104 140721851757590 140721851757682 140721851757682 140721851760590 0
Current children cumulated CPU time: 15.62 s
Current children cumulated vsize: 641644 KiB
Current children cumulated memory: 29688 KiB
Child status: 0
Real time (s): 2.41744
CPU time (s): 15.6869
CPU user time (s): 15.653
CPU system time (s): 0.033969
CPU usage (%): 648.908
Max. virtual memory (cumulated for all children) (KiB): 641644
Max. memory (cumulated for all children) (KiB): 29688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.653
system time used= 0.033969
maximum resident set size= 29852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14050
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= 112
involuntary context switches= 151
# summary of solver processes directly reported to runsolver:
# pid: 5107
# total CPU time (s): 15.6869
# total CPU user time (s): 15.653
# total CPU system time (s): 0.033969
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037258 second user time and 0.060968 second system time
The end
Begin job on node139 at 2019-09-16 06:42:48 IDJOB=4398645 IDBENCH=126834 IDSOLVER=2852 FILE ID=node139/4398645-1568608857 RUNJOBID= node139-1568596036-1355 PBS_JOBID= 21703395 Free space on /tmp= 59556 MiB SOLVER NAME= cosoco 2.O parallel BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-7-5-30-1.xml COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398645-1568608857/watcher-4398645-1568608857 -o /tmp/evaluation-result-4398645-1568608857/solver-4398645-1568608857 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568596036-1355 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4398645-1568608857.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 74f6b053d0485b3d7d553e00e4caa41f RANDOM SEED=898551394 node139.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.57 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.57 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.57 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.57 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: 31243496 kB MemAvailable: 31825964 kB Buffers: 94928 kB Cached: 777564 kB SwapCached: 78072 kB Active: 519572 kB Inactive: 434908 kB Active(anon): 7280 kB Inactive(anon): 116832 kB Active(file): 512292 kB Inactive(file): 318076 kB Unevictable: 107864 kB Mlocked: 107864 kB SwapTotal: 67108860 kB SwapFree: 66921592 kB Dirty: 3048 kB Writeback: 0 kB AnonPages: 123424 kB Mapped: 46300 kB Shmem: 33508 kB Slab: 165140 kB SReclaimable: 135872 kB SUnreclaim: 29268 kB KernelStack: 3712 kB PageTables: 5528 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 496544 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 77824 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 59556 MiB End job on node139 at 2019-09-16 06:42:50