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