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