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