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