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