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