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