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