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