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