(1,21) (2,16) (3,27) (4,19) (5,30) (6,18) (7,24) (8,23) (9,29) (10,22) (11,28) (12,20) (13,17) (14,25) (15,26) 
nodes: 8286  conflicts: 8  modelTime: 1080  solveTime: 21672  totalTime: 22759  modelSize: 41292  readTime: 7 size: 15