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