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