0.00/0.02 c
0.00/0.02 c This is cosoco 2.00 --
0.00/0.02 c
0.00/0.02 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397584-1568579839.xml
0.00/0.02 c intension eq(mul(x[0],x[1]),y[0][0]) -> extension (support ? 1) - 4tuples
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 -> 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 -> 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 -> 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.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 -> 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 -> 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 -> 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.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.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/0.11 c intension -> extension : same as previous
0.00/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 -> 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.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 -> 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 -> 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 -> 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.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 -> 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 -> 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 -> 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.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 -> 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 -> 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 -> 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.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.22 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension -> extension : same as previous
0.21/0.24 c intension eq(mul(c[0],c[0]),s[0]) -> extension (support ? 1) - 75tuples
0.21/0.24 c intension eq(mul(c[1],c[1]),s[1]) -> extension (support ? 1) - 73tuples
0.21/0.24 c intension eq(mul(c[2],c[2]),s[2]) -> extension (support ? 1) - 71tuples
0.21/0.25 c intension eq(mul(c[3],c[3]),s[3]) -> extension (support ? 1) - 69tuples
0.21/0.25 c intension eq(mul(c[4],c[4]),s[4]) -> extension (support ? 1) - 67tuples
0.21/0.25 c intension eq(mul(c[5],c[5]),s[5]) -> extension (support ? 1) - 65tuples
0.21/0.25 c intension eq(mul(c[6],c[6]),s[6]) -> extension (support ? 1) - 63tuples
0.21/0.25 c intension eq(mul(c[7],c[7]),s[7]) -> extension (support ? 1) - 61tuples
0.21/0.25 c intension eq(mul(c[8],c[8]),s[8]) -> extension (support ? 1) - 59tuples
0.21/0.26 c intension eq(mul(c[9],c[9]),s[9]) -> extension (support ? 1) - 57tuples
0.21/0.26 c intension eq(mul(c[10],c[10]),s[10]) -> extension (support ? 1) - 55tuples
0.21/0.26 c intension eq(mul(c[11],c[11]),s[11]) -> extension (support ? 1) - 53tuples
0.21/0.26 c intension eq(mul(c[12],c[12]),s[12]) -> extension (support ? 1) - 51tuples
0.21/0.26 c intension eq(mul(c[13],c[13]),s[13]) -> extension (support ? 1) - 49tuples
0.21/0.26 c intension eq(mul(c[14],c[14]),s[14]) -> extension (support ? 1) - 47tuples
0.21/0.26 c intension eq(mul(c[15],c[15]),s[15]) -> extension (support ? 1) - 45tuples
0.21/0.26 c intension eq(mul(c[16],c[16]),s[16]) -> extension (support ? 1) - 43tuples
0.21/0.26 c intension eq(mul(c[17],c[17]),s[17]) -> extension (support ? 1) - 41tuples
0.21/0.26 c intension eq(mul(c[18],c[18]),s[18]) -> extension (support ? 1) - 39tuples
0.21/0.27 c intension eq(mul(c[19],c[19]),s[19]) -> extension (support ? 1) - 37tuples
0.21/0.27 c intension eq(mul(c[20],c[20]),s[20]) -> extension (support ? 1) - 35tuples
0.21/0.27 c intension eq(mul(c[21],c[21]),s[21]) -> extension (support ? 1) - 33tuples
0.21/0.27 c intension eq(mul(c[22],c[22]),s[22]) -> extension (support ? 1) - 31tuples
0.21/0.27 c intension eq(mul(c[23],c[23]),s[23]) -> extension (support ? 1) - 29tuples
0.21/0.27 c intension eq(mul(c[24],c[24]),s[24]) -> extension (support ? 1) - 27tuples
0.21/0.27 c intension eq(mul(c[25],c[25]),s[25]) -> extension (support ? 1) - 25tuples
0.21/0.27 c intension eq(mul(c[26],c[26]),s[26]) -> extension (support ? 1) - 23tuples
0.21/0.27 c intension eq(mul(c[27],c[27]),s[27]) -> extension (support ? 1) - 21tuples
0.21/0.27 c intension eq(mul(c[28],c[28]),s[28]) -> extension (support ? 1) - 19tuples
0.21/0.27 c intension eq(mul(c[29],c[29]),s[29]) -> extension (support ? 1) - 17tuples
0.21/0.27 c intension eq(mul(c[30],c[30]),s[30]) -> extension (support ? 1) - 15tuples
0.21/0.27 c intension eq(mul(c[31],c[31]),s[31]) -> extension (support ? 1) - 13tuples
0.21/0.27 c intension eq(mul(c[32],c[32]),s[32]) -> extension (support ? 1) - 11tuples
0.21/0.27 c intension eq(mul(c[33],c[33]),s[33]) -> extension (support ? 1) - 9tuples
0.21/0.27 c intension eq(mul(c[34],c[34]),s[34]) -> extension (support ? 1) - 7tuples
0.21/0.27 c intension eq(mul(c[35],c[35]),s[35]) -> extension (support ? 1) - 5tuples
0.21/0.27 c intension eq(mul(c[36],c[36]),s[36]) -> extension (support ? 1) - 3tuples
0.21/0.29 c enable optimization
0.21/0.29 c ========================================[ Problem Statistics ]===========================================
0.21/0.29 c |
0.21/0.29 c | Parse time : 0.27 s
0.21/0.29 c |
0.21/0.29 c | Variables: 1481
0.21/0.29 c | Domain Sizes: 2..75
0.21/0.29 c |
0.21/0.29 c | Constraints: 778
0.21/0.29 c | Arity: 2..38 -- Binary: 38 -- Ternary: 704
0.21/0.29 c |
0.21/0.29 c | Types:
0.21/0.29 c | Extension: 740 (nb tuples: 3..75) -- (shared: 702)
0.21/0.29 c | Sum: 38
0.21/0.29 c |
0.21/0.29 c | Objective: Minimize Sum
0.21/0.29
0.21/0.29 c =========================================================================================================
0.21/0.29 o 4847
0.21/0.29 c 1 calls to solver(id=0): best=4847 lower=0 upper=4846
0.30/0.34 o 4223
0.30/0.38 o 3567
0.30/0.38 c 3 calls to solver(id=0): best=3567 lower=0 upper=3566
0.40/0.43 o 1199
0.40/0.48 o 799
0.40/0.48 c 5 calls to solver(id=0): best=799 lower=0 upper=798
0.50/0.53 o 735
0.50/0.60 o 687
0.50/0.60 c 7 calls to solver(id=0): best=687 lower=0 upper=686
0.60/0.66 o 679
0.69/0.71 o 575
0.69/0.71 c 9 calls to solver(id=0): best=575 lower=0 upper=574
0.69/0.76 o 535
0.79/0.81 o 431
0.79/0.82 c 11 calls to solver(id=0): best=431 lower=0 upper=430
0.79/0.87 o 367
0.89/0.92 o 335
0.89/0.92 c 13 calls to solver(id=0): best=335 lower=0 upper=334
0.99/1.03 o 311
1.79/1.80 o 303
1.79/1.80 c 15 calls to solver(id=0): best=303 lower=0 upper=302
1.89/1.90 o 279
7.59/7.66 o 263
7.59/7.66 c 17 calls to solver(id=0): best=263 lower=0 upper=262
16.38/16.46 o 255
18.78/18.88 o 239
18.78/18.88 c 19 calls to solver(id=0): best=239 lower=0 upper=238
24.88/24.94 o 231
26.38/26.47 o 223
26.38/26.47 c 21 calls to solver(id=0): best=223 lower=0 upper=222
40.38/40.44 o 159
1954.77/1954.90 o 143
1954.77/1954.91 c 23 calls to solver(id=0): best=143 lower=0 upper=142
2400.04/2400.20
2400.04/2400.20 c *** INTERRUPTED ***
2400.04/2400.20 c call to solver : 23
2400.04/2400.20 c
2400.04/2400.20 c restarts : 365
2400.04/2400.20 c conflicts : 2689904 (1121 /sec)
2400.04/2400.20 c decisions : 58664748 (24443 /sec)
2400.04/2400.20 c propagations : 1851095568 (771283 /sec)
2400.04/2400.20 c root propagations : 3622
2400.04/2400.20 c filter calls : 1649836671 (687426 /sec)
2400.04/2400.20 c useless filter calls : 703353755 (42 %)
2400.04/2400.20 c Memory used : 42.91 MB
2400.04/2400.20 c Best bound time (wc) : 1954.91 s
2400.04/2400.20 c CPU time : 2400.02 s
2400.04/2400.20 c real time : 2400.2 s
2400.04/2400.20
2400.04/2400.20 c nb Solutions = 23
2400.04/2400.20 s SATISFIABLE
2400.04/2400.20 c Best value found: 143
2400.04/2400.20
2400.04/2400.20
2400.04/2400.20 v <instantiation type='solution' cost='143'>
2400.04/2400.20 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[30] c[31] c[32] c[33] c[34] c[35] c[36] c[3] c[4] c[5] c[6] c[7] c[8] c[9] s[0] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[1] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[2] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[3] s[4] s[5] s[6] s[7] s[8] s[9] x[0] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[1] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[2] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[3] x[4] x[5] x[6] x[7] x[8] x[9] y[0][0] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][1] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][2] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[10][0] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][1] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][2] y[10][30] y[10][31] y[10][32] y[10][33] y[10][34] y[10][35] y[10][36] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[11][0] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][1] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[11][2] y[11][30] y[11][31] y[11][32] y[11][33] y[11][34] y[11][35] y[11][36] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[12][0] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][1] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[12][29] y[12][2] y[12][30] y[12][31] y[12][32] y[12][33] y[12][34] y[12][35] y[12][36] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[13][0] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][1] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[13][28] y[13][29] y[13][2] y[13][30] y[13][31] y[13][32] y[13][33] y[13][34] y[13][35] y[13][36] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[14][0] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][1] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[14][27] y[14][28] y[14][29] y[14][2] y[14][30] y[14][31] y[14][32] y[14][33] y[14][34] y[14][35] y[14][36] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[15][0] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][1] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[15][26] y[15][27] y[15][28] y[15][29] y[15][2] y[15][30] y[15][31] y[15][32] y[15][33] y[15][34] y[15][35] y[15][36] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[16][0] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][1] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[16][25] y[16][26] y[16][27] y[16][28] y[16][29] y[16][2] y[16][30] y[16][31] y[16][32] y[16][33] y[16][34] y[16][35] y[16][36] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[17][0] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][1] y[17][20] y[17][21] y[17][22] y[17][23] y[17][24] y[17][25] y[17][26] y[17][27] y[17][28] y[17][29] y[17][2] y[17][30] y[17][31] y[17][32] y[17][33] y[17][34] y[17][35] y[17][36] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[18][0] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][1] y[18][20] y[18][21] y[18][22] y[18][23] y[18][24] y[18][25] y[18][26] y[18][27] y[18][28] y[18][29] y[18][2] y[18][30] y[18][31] y[18][32] y[18][33] y[18][34] y[18][35] y[18][36] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[19][0] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][1] y[19][20] y[19][21] y[19][22] y[19][23] y[19][24] y[19][25] y[19][26] y[19][27] y[19][28] y[19][29] y[19][2] y[19][30] y[19][31] y[19][32] y[19][33] y[19][34] y[19][35] y[19][36] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[1][0] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][1] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][2] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[20][0] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][1] y[20][20] y[20][21] y[20][22] y[20][23] y[20][24] y[20][25] y[20][26] y[20][27] y[20][28] y[20][29] y[20][2] y[20][30] y[20][31] y[20][32] y[20][33] y[20][34] y[20][35] y[20][36] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[21][0] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[21][1] y[21][20] y[21][21] y[21][22] y[21][23] y[21][24] y[21][25] y[21][26] y[21][27] y[21][28] y[21][29] y[21][2] y[21][30] y[21][31] y[21][32] y[21][33] y[21][34] y[21][35] y[21][36] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[22][0] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[22][19] y[22][1] y[22][20] y[22][21] y[22][22] y[22][23] y[22][24] y[22][25] y[22][26] y[22][27] y[22][28] y[22][29] y[22][2] y[22][30] y[22][31] y[22][32] y[22][33] y[22][34] y[22][35] y[22][36] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[23][0] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[23][18] y[23][19] y[23][1] y[23][20] y[23][21] y[23][22] y[23][23] y[23][24] y[23][25] y[23][26] y[23][27] y[23][28] y[23][29] y[23][2] y[23][30] y[23][31] y[23][32] y[23][33] y[23][34] y[23][35] y[23][36] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[24][0] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[24][17] y[24][18] y[24][19] y[24][1] y[24][20] y[24][21] y[24][22] y[24][23] y[24][24] y[24][25] y[24][26] y[24][27] y[24][28] y[24][29] y[24][2] y[24][30] y[24][31] y[24][32] y[24][33] y[24][34] y[24][35] y[24][36] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[25][0] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[25][16] y[25][17] y[25][18] y[25][19] y[25][1] y[25][20] y[25][21] y[25][22] y[25][23] y[25][24] y[25][25] y[25][26] y[25][27] y[25][28] y[25][29] y[25][2] y[25][30] y[25][31] y[25][32] y[25][33] y[25][34] y[25][35] y[25][36] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[26][0] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[26][15] y[26][16] y[26][17] y[26][18] y[26][19] y[26][1] y[26][20] y[26][21] y[26][22] y[26][23] y[26][24] y[26][25] y[26][26] y[26][27] y[26][28] y[26][29] y[26][2] y[26][30] y[26][31] y[26][32] y[26][33] y[26][34] y[26][35] y[26][36] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[27][0] y[27][10] y[27][11] y[27][12] y[27][13] y[27][14] y[27][15] y[27][16] y[27][17] y[27][18] y[27][19] y[27][1] y[27][20] y[27][21] y[27][22] y[27][23] y[27][24] y[27][25] y[27][26] y[27][27] y[27][28] y[27][29] y[27][2] y[27][30] y[27][31] y[27][32] y[27][33] y[27][34] y[27][35] y[27][36] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[28][0] y[28][10] y[28][11] y[28][12] y[28][13] y[28][14] y[28][15] y[28][16] y[28][17] y[28][18] y[28][19] y[28][1] y[28][20] y[28][21] y[28][22] y[28][23] y[28][24] y[28][25] y[28][26] y[28][27] y[28][28] y[28][29] y[28][2] y[28][30] y[28][31] y[28][32] y[28][33] y[28][34] y[28][35] y[28][36] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[29][0] y[29][10] y[29][11] y[29][12] y[29][13] y[29][14] y[29][15] y[29][16] y[29][17] y[29][18] y[29][19] y[29][1] y[29][20] y[29][21] y[29][22] y[29][23] y[29][24] y[29][25] y[29][26] y[29][27] y[29][28] y[29][29] y[29][2] y[29][30] y[29][31] y[29][32] y[29][33] y[29][34] y[29][35] y[29][36] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[2][0] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][1] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][2] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[30][0] y[30][10] y[30][11] y[30][12] y[30][13] y[30][14] y[30][15] y[30][16] y[30][17] y[30][18] y[30][19] y[30][1] y[30][20] y[30][21] y[30][22] y[30][23] y[30][24] y[30][25] y[30][26] y[30][27] y[30][28] y[30][29] y[30][2] y[30][30] y[30][31] y[30][32] y[30][33] y[30][34] y[30][35] y[30][36] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[31][0] y[31][10] y[31][11] y[31][12] y[31][13] y[31][14] y[31][15] y[31][16] y[31][17] y[31][18] y[31][19] y[31][1] y[31][20] y[31][21] y[31][22] y[31][23] y[31][24] y[31][25] y[31][26] y[31][27] y[31][28] y[31][29] y[31][2] y[31][30] y[31][31] y[31][32] y[31][33] y[31][34] y[31][35] y[31][36] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][10] y[32][11] y[32][12] y[32][13] y[32][14] y[32][15] y[32][16] y[32][17] y[32][18] y[32][19] y[32][1] y[32][20] y[32][21] y[32][22] y[32][23] y[32][24] y[32][25] y[32][26] y[32][27] y[32][28] y[32][29] y[32][2] y[32][30] y[32][31] y[32][32] y[32][33] y[32][34] y[32][35] y[32][36] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[32][9] y[33][0] y[33][10] y[33][11] y[33][12] y[33][13] y[33][14] y[33][15] y[33][16] y[33][17] y[33][18] y[33][19] y[33][1] y[33][20] y[33][21] y[33][22] y[33][23] y[33][24] y[33][25] y[33][26] y[33][27] y[33][28] y[33][29] y[33][2] y[33][30] y[33][31] y[33][32] y[33][33] y[33][34] y[33][35] y[33][36] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[33][8] y[33][9] y[34][0] y[34][10] y[34][11] y[34][12] y[34][13] y[34][14] y[34][15] y[34][16] y[34][17] y[34][18] y[34][19] y[34][1] y[34][20] y[34][21] y[34][22] y[34][23] y[34][24] y[34][25] y[34][26] y[34][27] y[34][28] y[34][29] y[34][2] y[34][30] y[34][31] y[34][32] y[34][33] y[34][34] y[34][35] y[34][36] y[34][3] y[34][4] y[34][5] y[34][6] y[34][7] y[34][8] y[34][9] y[35][0] y[35][10] y[35][11] y[35][12] y[35][13] y[35][14] y[35][15] y[35][16] y[35][17] y[35][18] y[35][19] y[35][1] y[35][20] y[35][21] y[35][22] y[35][23] y[35][24] y[35][25] y[35][26] y[35][27] y[35][28] y[35][29] y[35][2] y[35][30] y[35][31] y[35][32] y[35][33] y[35][34] y[35][35] y[35][36] y[35][3] y[35][4] y[35][5] y[35][6] y[35][7] y[35][8] y[35][9] y[36][0] y[36][10] y[36][11] y[36][12] y[36][13] y[36][14] y[36][15] y[36][16] y[36][17] y[36][18] y[36][19] y[36][1] y[36][20] y[36][21] y[36][22] y[36][23] y[36][24] y[36][25] y[36][26] y[36][27] y[36][28] y[36][29] y[36][2] y[36][30] y[36][31] y[36][32] y[36][33] y[36][34] y[36][35] y[36][36] y[36][3] y[36][4] y[36][5] y[36][6] y[36][7] y[36][8] y[36][9] y[3][0] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][1] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][2] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[4][0] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][1] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][2] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[5][0] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][1] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][2] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[5][36] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[6][0] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][1] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][2] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[6][35] y[6][36] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[7][0] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][1] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][2] y[7][30] y[7][31] y[7][32] y[7][33] y[7][34] y[7][35] y[7][36] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[8][0] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][1] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][2] y[8][30] y[8][31] y[8][32] y[8][33] y[8][34] y[8][35] y[8][36] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[9][0] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][1] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][2] y[9][30] y[9][31] y[9][32] y[9][33] y[9][34] y[9][35] y[9][36] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] </list>
2400.04/2400.20 v <values>5 1 2 -5 0 -1 0 -1 -4 -1 2 2 -1 2 -1 2 3 0 -3 2 -1 0 -3 -1 0 1 2 1 0 1 0 1 -2 -1 -2 -1 0 25 1 4 25 0 1 0 1 16 1 4 4 1 4 1 4 9 0 9 4 1 0 9 1 0 1 4 1 0 1 0 1 4 1 4 1 0 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 * * * -1 * * * * * * * -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 1 -1 * * * * -1 * * * * * * * -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 1 -1 1 * * * * * -1 * * * * * * * -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 * * * * * * -1 * * * * * * * 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 1 * * * * * * * 1 * * * * * * * 1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 * * * * * * * * 1 * * * * * * * 1 1 1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 * * * * * * * * * 1 * * * * * * * -1 1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 * * * * * * * * * * -1 * * * * * * * -1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * 1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 * * 1 * * * * * * * * * * 1 * * * * * * * -1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 1 1 1 1 1 1 * -1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 * * * -1 * * * * * * * * * * -1 * * * * * * * 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 -1 * * * * 1 * * * * * * * * * * 1 * * * * * * * -1 1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 * * * * * -1 * * * * * * * * * * -1 * * * * * * * -1 1 -1 1 1 1 -1 1 1 1 1 -1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * -1 -1 1 -1 1 1 -1 -1 1 1 1 * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * 1 1 -1 -1 1 1 -1 -1 1 1 * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * -1 -1 -1 -1 1 1 -1 -1 1 * * * * * * * * * -1 * * * * * * * * * * -1 * * * * * * * 1 -1 -1 -1 1 1 -1 1 * * * * * * * * * * 1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 -1 1 1 -1 -1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 -1 1 1 * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 -1 1 * * 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 * * -1 -1 -1 1 1 1 -1 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 -1 * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 -1 * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 -1 * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * 1 * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * 1 * * * * * * * * * * * * * * 1 * * * * * * * * * * -1 * * * * * * * * * * * * * * * * * * * * * * * * * 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 * * * 1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 1 1 * * * * 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 1 1 1 * * * * * -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 -1 -1 1 * * * * * * 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 * * * * * * * 1 -1 1 1 -1 -1 -1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 * 1 * * * * * * * 1 1 1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 * * 1 * * * * * * * -1 1 1 1 1 1 -1 </values>
2400.04/2400.20 v </instantiation>
2400.04/2400.20
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 (15191 MiB free)
memory of node 1: 16384 MiB (15577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397584-1568579839/watcher-4397584-1568579839 -o /tmp/evaluation-result-4397584-1568579839/solver-4397584-1568579839 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1568572734-23145 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397584-1568579839.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24554, runsolver pid=24551
Current StackSize limit: 8192 KiB
[startup+0.100153 s]*
/proc/loadavg: 2.00 2.02 2.05 3/205 24555
/proc/meminfo: memFree=31503124/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=32184 memory=8552 CPUtime=0.1 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 2321 0 0 0 10 0 0 0 20 0 1 0 433906619 32956416 2138 33554432000 4194304 6211092 140720354544272 140720354540808 139834415102949 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 8046 2138 826 493 0 1351 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32184 KiB
Current children cumulated memory: 8552 KiB
[startup+0.209928 s]*
/proc/loadavg: 2.00 2.02 2.05 3/205 24555
/proc/meminfo: memFree=31498288/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=37108 memory=13476 CPUtime=0.21 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 3531 0 0 0 21 0 0 0 20 0 1 0 433906619 37998592 3369 33554432000 4194304 6211092 140720354544272 140720354540808 139834415563756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 9277 3369 826 493 0 2582 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 37108 KiB
Current children cumulated memory: 13476 KiB
[startup+0.30961 s]*
/proc/loadavg: 2.00 2.02 2.05 3/205 24555
/proc/meminfo: memFree=31492336/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=42480 memory=18960 CPUtime=0.3 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 4961 0 0 0 30 0 0 0 20 0 1 0 433906619 43499520 4740 33554432000 4194304 6211092 140720354544272 140720354540808 5396756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10620 4740 900 493 0 3925 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 42480 KiB
Current children cumulated memory: 18960 KiB
[startup+0.700381 s]
/proc/loadavg: 2.00 2.02 2.05 4/205 24555
/proc/meminfo: memFree=31491096/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43668 memory=20280 CPUtime=0.69 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 5265 0 0 0 69 0 0 0 20 0 1 0 433906619 44716032 5070 33554432000 4194304 6211092 140720354544272 140720354532152 5396756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10917 5070 900 493 0 4222 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43668 KiB
Current children cumulated memory: 20280 KiB
[startup+1.50036 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 24555
/proc/meminfo: memFree=31491200/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43800 memory=20280 CPUtime=1.49 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 5285 0 0 0 149 0 0 0 20 0 1 0 433906619 44851200 5070 33554432000 4194304 6211092 140720354544272 140720354532152 5397235 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10950 5070 900 493 0 4255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 20280 KiB
[startup+3.10936 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 24555
/proc/meminfo: memFree=31491192/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43800 memory=20548 CPUtime=3.1 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 8374 0 0 0 309 1 0 0 20 0 1 0 433906619 44851200 5137 33554432000 4194304 6211092 140720354544272 140720354542408 5035286 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10950 5137 900 493 0 4255 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 20548 KiB
[startup+6.30036 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 24556
/proc/meminfo: memFree=31490648/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43800 memory=20548 CPUtime=6.29 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 11453 0 0 0 628 1 0 0 20 0 1 0 433906619 44851200 5137 33554432000 4194304 6211092 140720354544272 140720354542408 5250289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10950 5137 900 493 0 4255 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 43800 KiB
Current children cumulated memory: 20548 KiB
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 24557
/proc/meminfo: memFree=31490648/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20592 CPUtime=12.68 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 14699 0 0 0 1267 1 0 0 20 0 1 0 433906619 44986368 5148 33554432000 4194304 6211092 140720354544272 140720354532152 5158028 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5148 900 493 0 4288 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20592 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 24557
/proc/meminfo: memFree=31490204/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20652 CPUtime=25.48 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 15796 0 0 0 2547 1 0 0 20 0 1 0 433906619 44986368 5163 33554432000 4194304 6211092 140720354544272 140720354532152 5409457 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5163 900 493 0 4288 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20652 KiB
[startup+51.1095 s]
/proc/loadavg: 2.00 2.02 2.05 3/206 24559
/proc/meminfo: memFree=31489996/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=51.09 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 16353 0 0 0 5108 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5035322 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/206 24563
/proc/meminfo: memFree=31490392/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=102.28 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 17288 0 0 0 10227 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5250289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 24567
/proc/meminfo: memFree=31490224/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=162.27 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 17757 0 0 0 16226 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5193744 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+222.3 s]
/proc/loadavg: 2.28 2.11 2.08 3/206 25343
/proc/meminfo: memFree=31510412/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=222.27 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 18223 0 0 0 22226 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+282.3 s]
/proc/loadavg: 2.10 2.09 2.07 3/206 25347
/proc/meminfo: memFree=31510184/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=282.26 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 18693 0 0 0 28225 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5155804 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+342.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/206 25352
/proc/meminfo: memFree=31510880/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=342.26 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 19168 0 0 0 34225 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5148698 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+402.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/206 25358
/proc/meminfo: memFree=31510496/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=402.26 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 19640 0 0 0 40225 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5397334 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+462.3 s]
/proc/loadavg: 2.09 2.09 2.07 3/206 25362
/proc/meminfo: memFree=31510536/32770624 swapFree=67010804/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=462.25 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 20115 0 0 0 46224 1 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
################
# More data... #
################
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1602.19 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26408
/proc/meminfo: memFree=31508540/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=1662.18 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 29450 0 0 0 166216 2 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5186228 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1662.18 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26412
/proc/meminfo: memFree=31508560/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=1722.18 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 29909 0 0 0 172216 2 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5157976 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26416
/proc/meminfo: memFree=31508420/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=1782.18 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 30381 0 0 0 178216 2 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1782.18 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26422
/proc/meminfo: memFree=31508840/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=1842.17 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 30850 0 0 0 184215 2 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26427
/proc/meminfo: memFree=31508548/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20660 CPUtime=1902.17 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 31321 0 0 0 190215 2 0 0 20 0 1 0 433906619 44986368 5165 33554432000 4194304 6211092 140720354544272 140720354542408 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5165 900 493 0 4288 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20660 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26431
/proc/meminfo: memFree=31508440/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=1962.17 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 31881 0 0 0 196215 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5250224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26443
/proc/meminfo: memFree=31507912/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2022.16 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 32343 0 0 0 202214 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5250289 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2022.16 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26447
/proc/meminfo: memFree=31508540/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2082.16 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 32828 0 0 0 208214 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5396756 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2082.16 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/205 26451
/proc/meminfo: memFree=31508808/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2142.15 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 33293 0 0 0 214213 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5035216 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26457
/proc/meminfo: memFree=31508412/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2202.15 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 33748 0 0 0 220213 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26461
/proc/meminfo: memFree=31508444/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2262.14 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 34196 0 0 0 226212 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5394413 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26466
/proc/meminfo: memFree=31508788/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2322.14 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 34632 0 0 0 232212 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5394064 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26472
/proc/meminfo: memFree=31508332/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2382.14 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 35155 0 0 0 238212 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5009142 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.01 2.04 3/204 26472
/proc/meminfo: memFree=31508516/32770624 swapFree=67010824/67108860
[pid=24554] ppid=24551 vsize=43932 memory=20664 CPUtime=2400.04 cores=1,3,5,7
/proc/24554/stat : 24554 (cosoco) R 24551 24554 23113 0 -1 4202496 35165 0 0 0 240002 2 0 0 20 0 1 0 433906619 44986368 5166 33554432000 4194304 6211092 140720354544272 140720354532152 5396750 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 38162432 140720354550795 140720354550897 140720354550897 140720354553806 0
/proc/24554/statm: 10983 5166 900 493 0 4288 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 43932 KiB
Current children cumulated memory: 20664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.2 s]
# the end of solver process 24554 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.02 s, system=0.026998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.2
CPU time (s): 2400.05
CPU user time (s): 2400.02
CPU system time (s): 0.026998
CPU usage (%): 99.9937
Max. virtual memory (cumulated for all children) (KiB): 43932
Max. memory (cumulated for all children) (KiB): 20664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.02
system time used= 0.026998
maximum resident set size= 20728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35221
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= 21
involuntary context switches= 616
# summary of solver processes directly reported to runsolver:
# pid: 24554
# total CPU time (s): 2400.05
# total CPU user time (s): 2400.02
# total CPU system time (s): 0.026998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5036 second user time and 14.0325 second system time
The end