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