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