(2,26) (4,23) (5,8) (6,25) (7,29) (9,18) (11,24) (14,27) (15,28) (17,21) (19,20) 
nodes: 4088  conflicts: 101  modelTime: 931  solveTime: 9500  totalTime: 10443  modelSize: 72267  readTime: 11 size: 11