(1,9) (2,3) (4,15) (5,8) (6,21) (7,22) (10,28) (11,13) (12,29) (14,27) (17,20) (18,23) (19,30) 
nodes: 74969  conflicts: 25  modelTime: 940  solveTime: 316094  totalTime: 317090  modelSize: 72284  readTime: 56 size: 13