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