(1,25) (2,24) (3,22) (5,20) (8,30) (9,16) (11,18) (12,19) (13,28) (15,17) 
nodes: 745  conflicts: 60  modelTime: 660  solveTime: 1047  totalTime: 1714  modelSize: 41292  readTime: 7 size: 10