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