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