(1,11) (2,8) (3,10) (5,26) (6,12) (7,13) (9,27) (14,21) (15,25) (16,23) (17,30) (18,20) (19,29) (24,28) 
nodes: 24429  conflicts: 49  modelTime: 1221  solveTime: 54119  totalTime: 55359  modelSize: 72267  readTime: 19 size: 14