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