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