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