\begin{verbatim}

smodels version 2.25. Reading...done
Answer: 1
Stable Model: ord_p(2,4) ord_p(1,1) ord_p(3,9) ord_p(4,16) ord_p(5,25)
              ord_p(6,36) ord_p(7,49) ord_p(8,64) ord_p(9,81) ord_p(10,100)
              ord_p(11,121) ord_p(12,144) ord_p(13,169) ord_p(14,196) ord_p(15,225)
False
Duration: 0.015
Number of choice points: 0
Number of wrong choices: 0
Number of atoms: 387
Number of rules: 360
Number of picked atoms: 0
Number of forced atoms: 0
Number of truth assignments: 164
Size of searchspace (removed): 0 (0)

\end{verbatim}