smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(4,1) black(7,1) black(10,1) black(11,1) black(12,1) black(13,1) black(14,1) black(15,1) black(4,2) black(6,2) black(7,2) black(8,2) black(9,2) black(10,2) black(12,2) black(15,2) black(2,3) black(3,3) black(4,3) black(6,3) black(10,3) black(12,3) black(13,3) black(14,3) black(2,4) black(4,4) black(6,4) black(7,4) black(10,4) black(12,4) black(2,5) black(4,5) black(6,5) black(8,5) black(10,5) black(12,5) black(13,5) black(14,5) black(15,5) black(1,6) black(2,6) black(4,6) black(5,6) black(6,6) black(7,6) black(8,6) black(10,6) black(15,6) black(1,7) black(4,7) black(6,7) black(8,7) black(11,7) black(12,7) black(13,7) black(14,7) black(1,8) black(3,8) black(4,8) black(5,8) black(8,8) black(9,8) black(13,8) black(1,9) black(3,9) black(6,9) black(7,9) black(10,9) black(11,9) black(12,9) black(13,9) black(14,9) black(2,10) black(3,10) black(4,10) black(5,10) black(7,10) black(8,10) black(9,10) black(10,10) black(13,10) black(15,10) black(3,11) black(5,11) black(7,11) black(11,11) black(13,11) black(15,11) black(1,12) black(2,12) black(3,12) black(5,12) black(7,12) black(8,12) black(9,12) black(10,12) black(11,12) black(13,12) black(15,12) black(1,13) black(3,13) black(5,13) black(7,13) black(12,13) black(13,13) black(15,13) black(2,14) black(3,14) black(4,14) black(5,14) black(7,14) black(8,14) black(9,14) black(10,14) black(11,14) black(13,14) black(15,14) black(5,15) black(6,15) black(7,15) black(11,15) black(13,15) black(14,15) black(15,15) numbered(12,15,2) numbered(9,15,3) numbered(1,14,5) numbered(11,13,4) numbered(2,13,1) numbered(6,12,5) numbered(10,11,3) numbered(4,11,3) numbered(2,11,3) numbered(14,10,5) numbered(11,10,4) numbered(8,9,2) numbered(5,9,2) numbered(2,9,7) numbered(15,8,4) numbered(12,8,12) numbered(7,8,3) numbered(5,7,1) numbered(14,6,8) numbered(7,5,1) numbered(1,5,9) numbered(15,4,4) numbered(14,2,2) numbered(8,1,2) numbered(6,1,6) 
True
Duration: 5788.670
Number of choice points: 129
Number of wrong choices: 127
Number of atoms: 103392
Number of rules: 437657
Number of picked atoms: 11948083
Number of forced atoms: 36279
Number of truth assignments: 394860416
Size of searchspace (removed): 154 (35266)
