smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(3,1) black(6,1) black(7,1) black(10,1) black(2,2) black(3,2) black(4,2) black(5,2) black(7,2) black(8,2) black(10,2) black(1,3) black(2,3) black(5,3) black(7,3) black(9,3) black(10,3) black(1,4) black(3,4) black(6,4) black(7,4) black(8,4) black(9,4) black(1,5) black(2,5) black(3,5) black(4,5) black(5,5) black(8,5) black(1,6) black(4,6) black(7,6) black(8,6) black(9,6) black(10,6) black(1,7) black(2,7) black(3,7) black(6,7) black(8,7) black(10,7) black(3,8) black(5,8) black(6,8) black(8,8) black(10,8) black(2,9) black(3,9) black(4,9) black(6,9) black(8,9) black(10,9) black(1,10) black(2,10) black(4,10) black(5,10) black(6,10) black(7,10) black(8,10) black(9,10) black(10,10) numbered(5,1,2) numbered(9,1,3) numbered(1,2,3) numbered(6,3,2) numbered(8,3,1) numbered(2,4,1) numbered(5,4,4) numbered(10,4,3) numbered(2,6,2) numbered(7,7,3) numbered(2,8,3) numbered(4,8,7) numbered(5,9,1) numbered(9,9,3) numbered(3,10,1) 
True
Duration: 4.622
Number of choice points: 7
Number of wrong choices: 6
Number of atoms: 20667
Number of rules: 84671
Number of picked atoms: 43763
Number of forced atoms: 798
Number of truth assignments: 2144436
Size of searchspace (removed): 28 (3162)
