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