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