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