(1,8) (2,14) (3,13) (4,23) (5,24) (6,12) (7,21) (9,20) (10,27) (11,19) (15,29) (16,26) (17,30) 
nodes: 750  conflicts: 91  modelTime: 969  solveTime: 4694  totalTime: 5674  modelSize: 72266  readTime: 11 size: 13