\begin{verbatim}

 lparse city1-0.sm | smodels
 smodels version 2.25. Reading...done
 Answer: 1 Stable Model:
 occurs(move(v,3,4),1)
 occurs(move(v,4,8),2)
 occurs(move(v,8,7),3)
 occurs(move(v,7,6),4)
 occurs(move(v,6,5),5)
 occurs(move(v,5,1),6)
 occurs(move(v, 1,2),7)
 True Duration: 2.730
 Number of choice points: 0
 Number of wrong choices: 0
 Number of atoms: 4906
 Number of rules: 42157
 Number of picked atoms: 53
 Number of forced atoms: 6
 Number of truth assignments: 6716
 Size of searchspace (removed): 0 (0)

\end{verbatim}