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