(1,9) (2,20) (3,13) (4,23) (5,14) (6,30) (7,16) (8,12) (10,18) (11,29) (15,25) (17,21) (19,22) (24,27) (26,28) 
nodes: 188802  conflicts: 31  modelTime: 1673  solveTime: 793921  totalTime: 795608  modelSize: 72275  readTime: 14 size: 15