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