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