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