(1,22) (2,19) (3,28) (4,21) (5,30) (6,27) (8,25) (9,29) (14,26) (15,18) 
nodes: 732  conflicts: 79  modelTime: 660  solveTime: 981  totalTime: 1647  modelSize: 41292  readTime: 6 size: 10