\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: in(6,1) in(3,2) in(7,3) in(4,4) in(1,5) in(8,6) in(2,7) in(5,8)
True
Duration: 0.095
Number of choice points: 4
Number of wrong choices: 1
Number of atoms: 153
Number of rules: 1672
Number of picked atoms: 317
Number of forced atoms: 14
Number of truth assignments: 6197
Size of searchspace (removed): 128 (0)

\end{verbatim}