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