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