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