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