(1,9) (2,16) (3,20) (7,29) (10,12) (11,19) (13,23) (14,28) (17,30) (18,21) (22,24) (25,27) 
nodes: 9157  conflicts: 116  modelTime: 1725  solveTime: 33693  totalTime: 35438  modelSize: 72266  readTime: 20 size: 12