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