(1,6) (2,25) (3,20) (4,21) (7,19) (8,12) (9,27) (10,18) (11,29) (13,14) (15,23) (16,28) (17,30) (22,24) 
nodes: 455120  conflicts: 45  modelTime: 1552  solveTime: 1897220  totalTime: 1898791  modelSize: 72265  readTime: 19 size: 14