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