15.10/15.11 c
15.10/15.11 c This is cosoco 2.00 --
15.10/15.11 c
15.10/15.11 c command line: cosoco -model -nbcores=8 HOME/instance-4409454-1569822309.xml
15.10/15.11 c intension eq(mul(x[0][0],x[1][0]),s[0][1][0]) -> extension (support ? 1) - 4tuples
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
17.19/17.27 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
19.38/19.40 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
21.49/21.54 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
23.58/23.68 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
25.79/25.82 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
28.09/28.11 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
30.38/30.42 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
32.68/32.71 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
34.89/35.00 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
37.18/37.29 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
39.58/39.60 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
41.78/41.89 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
44.09/44.17 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension -> extension : same as previous
46.48/46.55 c intension
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 (15268 MiB free)
memory of node 1: 16384 MiB (15412 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409454-1569822309/watcher-4409454-1569822309 -o /tmp/evaluation-result-4409454-1569822309/solver-4409454-1569822309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409454-1569822309.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=14660, runsolver pid=14657
Current StackSize limit: 8192 KiB
[startup+0.10016 s]*
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=31378296/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=66340 memory=42296 CPUtime=0.1 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 10239 0 0 0 9 1 0 0 20 0 1 0 558503213 67932160 10574 33554432000 4194304 6211132 140736414622576 140736414619112 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 16585 10574 754 493 0 9890 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66340 KiB
Current children cumulated memory: 42296 KiB
[startup+0.208892 s]*
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=31371600/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=72996 memory=48952 CPUtime=0.2 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 11892 0 0 0 19 1 0 0 20 0 1 0 558503213 74747904 12238 33554432000 4194304 6211132 140736414622576 140736414619112 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 18249 12238 754 493 0 11554 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 72996 KiB
Current children cumulated memory: 48952 KiB
[startup+0.308544 s]*
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=31365276/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=79012 memory=54968 CPUtime=0.3 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 13405 0 0 0 28 2 0 0 20 0 1 0 558503213 80908288 13742 33554432000 4194304 6211132 140736414622576 140736414619112 139777987278789 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 19753 13742 754 493 0 13058 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 79012 KiB
Current children cumulated memory: 54968 KiB
[startup+0.700328 s]
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=31353620/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=102308 memory=78260 CPUtime=0.69 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 19235 0 0 0 66 3 0 0 20 0 1 0 558503213 104763392 19565 33554432000 4194304 6211132 140736414622576 140736414618520 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 25577 19565 754 493 0 18882 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 102308 KiB
Current children cumulated memory: 78260 KiB
[startup+1.50034 s]
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=31324044/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=145376 memory=121192 CPUtime=1.49 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 30009 0 0 0 145 4 0 0 20 0 1 0 558503213 148865024 30298 33554432000 4194304 6211132 140736414622576 140736414618520 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 36344 30298 754 493 0 29649 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 145376 KiB
Current children cumulated memory: 121192 KiB
[startup+3.10852 s]
/proc/loadavg: 6.98 8.54 8.63 2/189 14661
/proc/meminfo: memFree=30776988/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=724572 memory=697612 CPUtime=3.1 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 178233 0 0 0 287 23 0 0 20 0 1 0 558503213 741961728 174403 33554432000 4194304 6211132 140736414622576 140736414618584 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 181176 174403 754 493 0 174481 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 724572 KiB
Current children cumulated memory: 697612 KiB
[startup+6.30034 s]
/proc/loadavg: 6.42 8.40 8.58 2/189 14663
/proc/meminfo: memFree=29268188/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=2325900 memory=2294728 CPUtime=6.28 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 586536 0 0 0 551 77 0 0 20 0 1 0 558503213 2381721600 573682 33554432000 4194304 6211132 140736414622576 140736414618456 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 581475 573682 754 493 0 574780 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2325900 KiB
Current children cumulated memory: 2294728 KiB
[startup+12.7003 s]
/proc/loadavg: 5.99 8.28 8.54 2/189 14663
/proc/meminfo: memFree=25298056/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=6135996 memory=6111864 CPUtime=12.69 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 1420340 0 0 0 1085 184 0 0 20 0 1 0 558503213 6283259904 1527966 33554432000 4194304 6211132 140736414622576 140736414619848 139777977920485 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 1533999 1527966 838 493 0 1527304 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 6135996 KiB
Current children cumulated memory: 6111864 KiB
[startup+25.5004 s]
/proc/loadavg: 4.88 7.92 8.42 2/189 14664
/proc/meminfo: memFree=16885388/32770624 swapFree=66941828/67108860
[pid=14660] ppid=14657 vsize=14949436 memory=14919084 CPUtime=25.49 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 3169769 0 0 0 2140 409 0 0 20 0 1 0 558503213 15308222464 3729771 33554432000 4194304 6211132 140736414622576 140736414617320 139777977968544 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 3737359 3729771 851 493 0 3730664 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 14949436 KiB
Current children cumulated memory: 14919084 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+47.3003 s]
/proc/loadavg: 3.78 7.47 8.26 1/189 14664
/proc/meminfo: memFree=198188/32770624 swapFree=66915204/67108860
[pid=14660] ppid=14657 vsize=31771020 memory=31741012 CPUtime=46.92 cores=0-7
/proc/14660/stat : 14660 (cosoco) R 14657 14660 14059 0 -1 4202496 6530558 0 5 0 3703 989 0 0 20 0 1 0 558503213 32533524480 7923650 33554432000 4194304 6211132 140736414622576 140736414617320 139777978785686 0 0 4096 8405026 0 0 0 17 0 0 0 35 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 7942755 7923650 406 493 0 7936060 0
Current children cumulated CPU time: 46.92 s
Current children cumulated vsize: 31771020 KiB
Current children cumulated memory: 31741012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+50.7958 s]
# the end of solver process 14660 was just reported to runsolver
# cumulated CPU time of all completed processes: user=37.0719 s, system=11.3978 s
Solver just ended.
Dumping a history of the last processes samples
[startup+48.0003 s]*
/proc/loadavg: 3.78 7.47 8.26 1/191 14666
/proc/meminfo: memFree=188416/32770624 swapFree=66915208/67108860
[pid=14660] ppid=14657 vsize=31792884 memory=31763644 CPUtime=46.97 cores=0-7
/proc/14660/stat : 14660 (cosoco) S 14657 14660 14059 0 -1 512 6536525 0 5 0 3707 990 0 0 20 0 1 0 558503213 32555913216 7929456 33554432000 4194304 6211132 140736414622576 140736414620328 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 35 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 7948221 7929456 564 493 0 7941526 0
Current children cumulated CPU time: 46.97 s
Current children cumulated vsize: 31792884 KiB
Current children cumulated memory: 31763644 KiB
[startup+48.8003 s]
/proc/loadavg: 3.78 7.47 8.26 1/191 14666
/proc/meminfo: memFree=188416/32770624 swapFree=66915208/67108860
[pid=14660] ppid=14657 vsize=31792884 memory=31763644 CPUtime=46.97 cores=0-7
/proc/14660/stat : 14660 (cosoco) S 14657 14660 14059 0 -1 512 6536525 0 5 0 3707 990 0 0 20 0 1 0 558503213 32555913216 7925416 33554432000 4194304 6211132 140736414622576 140736414620328 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 35 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 7948221 7925416 564 493 0 7941526 0
Current children cumulated CPU time: 46.97 s
Current children cumulated vsize: 31792884 KiB
Current children cumulated memory: 31763644 KiB
[startup+49.2003 s]
/proc/loadavg: 3.78 7.47 8.26 1/192 14668
/proc/meminfo: memFree=194868/32770624 swapFree=66899048/67108860
[pid=14660] ppid=14657 vsize=31792884 memory=31763644 CPUtime=46.97 cores=0-7
/proc/14660/stat : 14660 (cosoco) S 14657 14660 14059 0 -1 512 6536525 0 5 0 3707 990 0 0 20 0 1 0 558503213 32555913216 7925416 33554432000 4194304 6211132 140736414622576 140736414620328 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 35 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 7948221 7925416 564 493 0 7941526 0
Current children cumulated CPU time: 46.97 s
Current children cumulated vsize: 31792884 KiB
Current children cumulated memory: 31763644 KiB
[startup+49.3003 s]
/proc/loadavg: 3.78 7.47 8.26 1/192 14668
/proc/meminfo: memFree=194868/32770624 swapFree=66899048/67108860
[pid=14660] ppid=14657 vsize=31792884 memory=31763644 CPUtime=46.97 cores=0-7
/proc/14660/stat : 14660 (cosoco) S 14657 14660 14059 0 -1 512 6536525 0 5 0 3707 990 0 0 20 0 1 0 558503213 32555913216 7925416 33554432000 4194304 6211132 140736414622576 140736414620328 5189582 0 16384 4096 8405026 18446744071580971376 0 0 17 2 0 0 35 0 0 8312316 8317760 15716352 140736414630929 140736414631021 140736414631021 140736414633934 0
/proc/14660/statm: 7948221 7925416 564 493 0 7941526 0
Current children cumulated CPU time: 46.97 s
Current children cumulated vsize: 31792884 KiB
Current children cumulated memory: 31763644 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 50.7958
CPU time (s): 48.4697
CPU user time (s): 37.0719
CPU system time (s): 11.3978
CPU usage (%): 95.4206
Max. virtual memory (cumulated for all children) (KiB): 31792884
Max. memory (cumulated for all children) (KiB): 31763644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.0719
system time used= 11.3978
maximum resident set size= 31717824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6536525
page faults= 5
swaps= 0
block input operations= 32656
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 114
# summary of solver processes directly reported to runsolver:
# pid: 14660
# total CPU time (s): 48.4697
# total CPU user time (s): 37.0719
# total CPU system time (s): 11.3978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186458 second user time and 0.367284 second system time
The end
Begin job on node139 at 2019-09-30 07:47:37
IDJOB=4409454
IDBENCH=123924
IDSOLVER=2877
FILE ID=node139/4409454-1569822309
RUNJOBID= node139-1569817401-14086
PBS_JOBID= 21705915
Free space on /tmp= 62016 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Bibd/Bibd-sc-open/Bibd-sc-85-085-36-36-15.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409454-1569822309/watcher-4409454-1569822309 -o /tmp/evaluation-result-4409454-1569822309/solver-4409454-1569822309 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569817401-14086 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409454-1569822309.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 6283987435144a6b5e9cf918aca30279
RANDOM SEED=942216159
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: 31416632 kB
MemAvailable: 31813220 kB
Buffers: 218448 kB
Cached: 517796 kB
SwapCached: 64664 kB
Active: 424504 kB
Inactive: 379420 kB
Active(anon): 19988 kB
Inactive(anon): 127812 kB
Active(file): 404516 kB
Inactive(file): 251608 kB
Unevictable: 108744 kB
Mlocked: 108744 kB
SwapTotal: 67108860 kB
SwapFree: 66941828 kB
Dirty: 18800 kB
Writeback: 0 kB
AnonPages: 112552 kB
Mapped: 26560 kB
Shmem: 72116 kB
Slab: 141920 kB
SReclaimable: 112600 kB
SUnreclaim: 29320 kB
KernelStack: 3376 kB
PageTables: 5336 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 529260 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 107904 kB
DirectMap2M: 33437696 kB
Free space on /tmp at the end= 62012 MiB
End job on node139 at 2019-09-30 07:48:28