0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -model -nbcores=8 HOME/instance-4409891-1569829128.xml
0.00/0.01 c intension imp(eq(s[0],0),ne(l[0],0)) -> extension (support ? 0) - 1tuples
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension -> extension : same as previous
0.00/0.03 c intension imp(eq(s[1],1),ne(l[0],1)) -> extension (support ? 0) - 1tuples
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension -> extension : same as previous
0.00/0.04 c intension imp(eq(s[2],2),ne(l[0],2)) -> extension (support ? 0) - 1tuples
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension -> extension : same as previous
0.00/0.05 c intension imp(eq(s[3],3),ne(l[0],3)) -> extension (support ? 0) - 1tuples
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension -> extension : same as previous
0.00/0.06 c intension imp(eq(s[4],4),ne(l[0],4)) -> extension (support ? 0) - 1tuples
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension -> extension : same as previous
0.00/0.08 c intension imp(eq(s[5],5),ne(l[0],5)) -> extension (support ? 0) - 1tuples
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension -> extension : same as previous
0.00/0.09 c intension imp(eq(s[6],6),ne(l[0],6)) -> extension (support ? 0) - 1tuples
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension -> extension : same as previous
0.00/0.10 c intension imp(eq(s[7],7),ne(l[0],7)) -> extension (support ? 0) - 1tuples
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension -> extension : same as previous
0.10/0.11 c intension imp(eq(s[8],8),ne(l[0],8)) -> extension (support ? 0) - 1tuples
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension -> extension : same as previous
0.10/0.13 c intension imp(eq(s[9],9),ne(l[0],9)) -> extension (support ? 0) - 1tuples
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension -> extension : same as previous
0.10/0.14 c intension imp(eq(s[10],10),ne(l[0],10)) -> extension (support ? 0) - 1tuples
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension imp(eq(s[11],11),ne(l[0],11)) -> extension (support ? 0) - 1tuples
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension -> extension : same as previous
0.10/0.16 c intension imp(eq(s[12],12),ne(l[0],12)) -> extension (support ? 0) - 1tuples
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension -> extension : same as previous
0.10/0.18 c intension imp(eq(s[13],13),ne(l[0],13)) -> extension (support ? 0) - 1tuples
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension -> extension : same as previous
0.10/0.19 c intension imp(eq(s[14],14),ne(l[0],14)) -> extension (support ? 0) - 1tuples
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension -> extension : same as previous
0.10/0.20 c intension imp(eq(s[15],15),ne(l[0],15)) -> extension (support ? 0) - 1tuples
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension -> extension : same as previous
0.20/0.21 c intension imp(eq(s[16],16),ne(l[0],16)) -> extension (support ? 0) - 1tuples
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension -> extension : same as previous
0.20/0.23 c intension imp(eq(s[17],17),ne(l[0],17)) -> extension (support ? 0) - 0tuples
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c intension -> extension : same as previous
0.20/0.24 c enable optimization
0.20/0.24 c ========================================[ Problem Statistics ]===========================================
0.20/0.24 c |
0.20/0.24 c | Parse time : 0.23 s
0.20/0.24 c |
0.20/0.24 c | Variables: 96
0.20/0.24 c | Domain Sizes: 3..18
0.20/0.24 c |
0.20/0.24 c | Constraints: 591
0.20/0.24 c | Arity: 1..48 -- Unary: 1 -- Binary: 588
0.20/0.24 c |
0.20/0.24 c | Types:
0.20/0.24 c | Circuit: 1
0.20/0.24 c | Extension: 588 (nb tuples: 0..17) -- (shared: 4176)
0.20/0.24 c | Sum: 1
0.20/0.24 c | Unary: 1
0.20/0.24 c |
0.20/0.24 c | Objective: Minimize Sum
0.20/0.24
0.20/0.24 c =========================================================================================================
0.20/0.24 c Parallel mode: Portfolio
0.20/0.24 c [pFactory][Group N°0] created (threads:8).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
0.20/0.24 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
0.20/0.24 c [pFactory][Group N°0] concurrent mode: enabled.
0.20/0.24 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
0.20/0.24 c [pFactory][Group N°0] task 7 launched on thread 0.
0.20/0.24 c [pFactory][Group N°0] task 6 launched on thread 1.
0.20/0.24 c [pFactory][Group N°0] task 5 launched on thread 2.
0.20/0.24 c [pFactory][Group N°0] task 4 launched on thread 5.
0.20/0.24 c [pFactory][Group N°0] task 3 launched on thread 6.
0.20/0.24 c [pFactory][Group N°0] task 2 launched on thread 4.
0.20/0.24 c [pFactory][Group N°0] task 1 launched on thread 3.
0.20/0.24 c [pFactory][Group N°0] task 0 launched on thread 7.
0.20/0.24 o 502
0.20/0.24 o 243
0.20/0.26 o 210
0.20/0.26 o 209
0.20/0.26 o 201
0.20/0.27 o 198
0.20/0.28 o 191
0.20/0.29 o 177
0.20/0.29 o 173
0.20/0.30 o 171
0.20/0.30 o 170
0.20/0.31 o 169
0.79/0.32 o 168
0.79/0.32 o 167
0.79/0.33 o 165
0.79/0.33 o 164
0.79/0.34 c [pFactory][Group N°0] concurent mode: thread 1 has won with the task 6.
0.79/0.34 c [pFactory][Group N°0] Thread N°0 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°1 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°2 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°3 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°4 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°5 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°6 is joined.
0.79/0.34 c [pFactory][Group N°0] Thread N°7 is joined.
0.79/0.34 c [pFactory][Group N°0] Return Code of the winner:3 (Thread N°1)
0.79/0.34 s OPTIMUM FOUND
0.79/0.34 c call to solver : 24
0.79/0.34 c
0.79/0.34 c restarts : 91
0.79/0.34 c conflicts : 196 (192 /sec)
0.79/0.34 c decisions : 3214 (3143 /sec)
0.79/0.34 c propagations : 37947 (37107 /sec)
0.79/0.34 c root propagations : 254
0.79/0.34 c filter calls : 318594 (311543 /sec)
0.79/0.34 c useless filter calls : 297922 (93 %)
0.79/0.34 c Memory used : 581.74 MB
0.79/0.34 c Best bound time (wc) : 0.323562 s
0.79/0.34 c CPU time : 1.02257 s
0.79/0.34 c real time : 0.343812 s
0.79/0.34
0.79/0.34
0.79/0.34 v <instantiation type='solution' cost='164'>
0.79/0.34 v <list>c[0] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[1] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] d[0] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] l[0] l[10] l[11] l[12] l[13] l[14] l[15] l[16] l[17] l[18] l[19] l[1] l[20] l[21] l[22] l[23] l[24] l[25] l[26] l[27] l[28] l[29] l[2] l[3] l[4] l[5] l[6] l[7] l[8] l[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] </list>
0.79/0.34 v <values>4 3 3 7 4 1 4 5 1 4 2 4 9 1 2 1 7 2 2 3 4 10 7 6 8 4 2 1 4 8 0 4 1 0 0 0 1 13 16 0 0 0 0 0 0 0 0 6 9 10 10 9 16 9 11 11 10 9 16 9 16 11 11 15 15 10 10 16 9 16 15 16 11 16 15 15 9 11 0 11 17 12 13 14 9 15 16 1 2 3 4 5 6 7 8 10 </values>
0.79/0.34 v </instantiation>
0.79/0.34
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 (15428 MiB free)
memory of node 1: 16384 MiB (15580 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409891-1569829128/watcher-4409891-1569829128 -o /tmp/evaluation-result-4409891-1569829128/solver-4409891-1569829128 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409891-1569829128.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19195, runsolver pid=19192
Current StackSize limit: 8192 KiB
[startup+0.100151 s]*
/proc/loadavg: 7.73 5.69 5.92 2/191 19196
/proc/meminfo: memFree=31748300/32770624 swapFree=66959828/67108860
[pid=19195] ppid=19192 vsize=32312 memory=8628 CPUtime=0.1 cores=0-7
/proc/19195/stat : 19195 (cosoco) R 19192 19195 15778 0 -1 4202496 2338 0 0 0 10 0 0 0 20 0 1 0 559181629 33087488 2157 33554432000 4194304 6211132 140723719447696 140723719444232 140493258796005 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
/proc/19195/statm: 8078 2157 827 493 0 1383 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32312 KiB
Current children cumulated memory: 8628 KiB
[startup+0.209279 s]*
/proc/loadavg: 7.73 5.69 5.92 2/191 19196
/proc/meminfo: memFree=31743836/32770624 swapFree=66959828/67108860
[pid=19195] ppid=19192 vsize=36764 memory=12964 CPUtime=0.2 cores=0-7
/proc/19195/stat : 19195 (cosoco) R 19192 19195 15778 0 -1 4202496 3442 0 0 0 20 0 0 0 20 0 1 0 559181629 37646336 3241 33554432000 4194304 6211132 140723719447696 140723719444232 140493258796005 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
/proc/19195/statm: 9191 3241 827 493 0 2496 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 36764 KiB
Current children cumulated memory: 12964 KiB
[startup+0.309098 s]*
/proc/loadavg: 7.73 5.69 5.92 10/199 19204
/proc/meminfo: memFree=31741076/32770624 swapFree=66959828/67108860
[pid=19195] ppid=19192 vsize=628480 memory=15076 CPUtime=0.79 cores=0-7
/proc/19195/stat : 19195 (cosoco) S 19192 19195 15778 0 -1 1077944320 4120 0 0 0 79 0 0 0 20 0 9 0 559181629 643563520 3769 33554432000 4194304 6211132 140723719447696 140723719445952 140493274836727 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
/proc/19195/statm: 157120 3769 847 493 0 150425 0
[pid=19195/tid=19197] ppid=19192 vsize=628480 memory=1398722017469774279 CPUtime=0.07 cores=0-7
/proc/19195/task/19197/stat : 19197 (cosoco) R 19192 19195 15778 0 -1 4202560 24 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493251693840 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19198] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19198/stat : 19198 (cosoco) R 19192 19195 15778 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493243301136 5158060 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19199] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19199/stat : 19199 (cosoco) R 19192 19195 15778 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493234908096 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19200] ppid=19192 vsize=628480 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/19195/task/19200/stat : 19200 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493226515472 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19201] ppid=19192 vsize=628480 memory=0 CPUtime=0.06 cores=0-7
/proc/19195/task/19201/stat : 19201 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493218122768 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19202] ppid=19192 vsize=628480 memory=0 CPUtime=0.06 cores=0-7
/proc/19195/task/19202/stat : 19202 (cosoco) R 19192 19195 15778 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493209730320 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19203] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19203/stat : 19203 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493201337360 5158025 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19204] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19204/stat : 19204 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493192944576 5017476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 628480 KiB
Current children cumulated memory: 15076 KiB
[startup+0.348707 s]
# the end of solver process 19195 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.02297 s, system=0.009989 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.309098 s]*
/proc/loadavg: 7.73 5.69 5.92 10/199 19204
/proc/meminfo: memFree=31741076/32770624 swapFree=66959828/67108860
[pid=19195] ppid=19192 vsize=628480 memory=15076 CPUtime=0.79 cores=0-7
/proc/19195/stat : 19195 (cosoco) S 19192 19195 15778 0 -1 1077944320 4120 0 0 0 79 0 0 0 20 0 9 0 559181629 643563520 3769 33554432000 4194304 6211132 140723719447696 140723719445952 140493274836727 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
/proc/19195/statm: 157120 3769 847 493 0 150425 0
[pid=19195/tid=19197] ppid=19192 vsize=628480 memory=1398722017469774279 CPUtime=0.07 cores=0-7
/proc/19195/task/19197/stat : 19197 (cosoco) R 19192 19195 15778 0 -1 4202560 24 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493251693840 5008831 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19198] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19198/stat : 19198 (cosoco) R 19192 19195 15778 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493243301136 5158060 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19199] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19199/stat : 19199 (cosoco) R 19192 19195 15778 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493234908096 5157572 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19200] ppid=19192 vsize=628480 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/19195/task/19200/stat : 19200 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493226515472 5156264 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19201] ppid=19192 vsize=628480 memory=0 CPUtime=0.06 cores=0-7
/proc/19195/task/19201/stat : 19201 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 6 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493218122768 5250316 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19202] ppid=19192 vsize=628480 memory=0 CPUtime=0.06 cores=0-7
/proc/19195/task/19202/stat : 19202 (cosoco) R 19192 19195 15778 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493209730320 5250321 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19203] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19203/stat : 19203 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493201337360 5158025 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
[pid=19195/tid=19204] ppid=19192 vsize=628480 memory=0 CPUtime=0.07 cores=0-7
/proc/19195/task/19204/stat : 19204 (cosoco) R 19192 19195 15778 0 -1 4202560 16 0 0 0 7 0 0 0 20 0 9 0 559181654 643563520 3769 33554432000 4194304 6211132 140723719447696 140493192944576 5017476 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 13885440 140723719455766 140723719455858 140723719455858 140723719458766 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 628480 KiB
Current children cumulated memory: 15076 KiB
Child status: 0
Real time (s): 0.348744
CPU time (s): 1.03296
CPU user time (s): 1.02297
CPU system time (s): 0.009989
CPU usage (%): 296.195
Max. virtual memory (cumulated for all children) (KiB): 628480
Max. memory (cumulated for all children) (KiB): 15076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.02297
system time used= 0.009989
maximum resident set size= 15924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 19195
# total CPU time (s): 1.03296
# total CPU user time (s): 1.02297
# total CPU system time (s): 0.009989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016017 second user time and 0.036299 second system time
The end
Begin job on node127 at 2019-09-30 09:38:08
IDJOB=4409891
IDBENCH=126825
IDSOLVER=2878
FILE ID=node127/4409891-1569829128
RUNJOBID= node127-1569817234-15805
PBS_JOBID= 21705916
Free space on /tmp= 62032 MiB
SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/Tpp/Tpp-zinc-s1/Tpp-6-3-30-1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409891-1569829128/watcher-4409891-1569829128 -o /tmp/evaluation-result-4409891-1569829128/solver-4409891-1569829128 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569817234-15805 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409891-1569829128.xml
TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f61e90724cd8b66989ec046e8a3ea41c
RANDOM SEED=968786102
node127.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.55
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.55
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.55
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.55
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: 31753252 kB
MemAvailable: 31813288 kB
Buffers: 99272 kB
Cached: 288676 kB
SwapCached: 45128 kB
Active: 270244 kB
Inactive: 169396 kB
Active(anon): 4200 kB
Inactive(anon): 129344 kB
Active(file): 266044 kB
Inactive(file): 40052 kB
Unevictable: 107512 kB
Mlocked: 107512 kB
SwapTotal: 67108860 kB
SwapFree: 66959828 kB
Dirty: 3144 kB
Writeback: 0 kB
AnonPages: 126040 kB
Mapped: 26920 kB
Shmem: 73072 kB
Slab: 168532 kB
SReclaimable: 139548 kB
SUnreclaim: 28984 kB
KernelStack: 3712 kB
PageTables: 6176 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 539364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 79872 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 138624 kB
DirectMap2M: 33406976 kB
Free space on /tmp at the end= 62028 MiB
End job on node127 at 2019-09-30 09:38:08