(2,21) (3,23) (4,26) (5,28) (7,30) (8,24) (9,16) (10,17) (11,22) (13,27) (14,29) (15,20) 
nodes: 12674  conflicts: 57  modelTime: 660  solveTime: 20998  totalTime: 21665  modelSize: 41292  readTime: 7 size: 12