(1,6) (2,8) (3,14) (4,25) (5,20) (7,15) (9,22) (10,28) (11,23) (12,13) (16,30) (17,21) (18,26) (19,24) (27,29) 
nodes: 17317  conflicts: 60  modelTime: 1729  solveTime: 67105  totalTime: 68870  modelSize: 72265  readTime: 36 size: 15