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