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