smodels version 2.32. Reading...done
Answer: 1
Stable Model: black(1,1) black(2,1) black(3,1) black(6,1) black(7,1) black(8,1) black(9,1) black(10,1) black(13,1) black(15,1) black(1,2) black(3,2) black(4,2) black(6,2) black(9,2) black(13,2) black(15,2) black(2,3) black(4,3) black(5,3) black(6,3) black(8,3) black(9,3) black(10,3) black(11,3) black(12,3) black(13,3) black(14,3) black(15,3) black(2,4) black(3,4) black(5,4) black(8,4) black(11,4) black(13,4) black(15,4) black(2,5) black(5,5) black(8,5) black(11,5) black(13,5) black(15,5) black(2,6) black(5,6) black(7,6) black(8,6) black(9,6) black(10,6) black(13,6) black(15,6) black(1,7) black(2,7) black(3,7) black(4,7) black(5,7) black(7,7) black(10,7) black(12,7) black(13,7) black(15,7) black(2,8) black(6,8) black(7,8) black(10,8) black(12,8) black(15,8) black(1,9) black(2,9) black(3,9) black(4,9) black(5,9) black(7,9) black(8,9) black(10,9) black(12,9) black(13,9) black(15,9) black(1,10) black(6,10) black(8,10) black(10,10) black(13,10) black(14,10) black(1,11) black(3,11) black(4,11) black(5,11) black(6,11) black(8,11) black(10,11) black(11,11) black(12,11) black(14,11) black(1,12) black(3,12) black(6,12) black(8,12) black(10,12) black(13,12) black(14,12) black(1,13) black(3,13) black(5,13) black(8,13) black(10,13) black(11,13) black(12,13) black(15,13) black(1,14) black(2,14) black(3,14) black(5,14) black(6,14) black(7,14) black(9,14) black(10,14) black(12,14) black(13,14) black(15,14) black(1,15) black(3,15) black(4,15) black(5,15) black(8,15) black(9,15) black(13,15) black(14,15) black(15,15) numbered(11,15,4) numbered(7,15,2) numbered(2,15,1) numbered(14,14,3) numbered(8,14,1) numbered(6,13,5) numbered(15,12,3) numbered(11,12,2) numbered(4,12,4) numbered(13,11,1) numbered(11,10,9) numbered(5,10,7) numbered(6,9,1) numbered(8,8,9) numbered(5,8,3) numbered(1,8,1) numbered(10,5,4) numbered(14,4,7) numbered(4,4,5) numbered(3,3,1) numbered(1,3,4) numbered(7,2,9) numbered(5,2,3) numbered(2,2,1) numbered(14,1,2) numbered(12,1,5) 
True
Duration: 1082.360
Number of choice points: 43
Number of wrong choices: 28
Number of atoms: 103396
Number of rules: 437934
Number of picked atoms: 2591630
Number of forced atoms: 7182
Number of truth assignments: 70069581
Size of searchspace (removed): 157 (37051)
