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