(1,17) (3,18) (4,28) (5,26) (9,22) (11,27) (14,16) (15,21) 
nodes: 771  conflicts: 88  modelTime: 674  solveTime: 644  totalTime: 1326  modelSize: 41300  readTime: 7 size: 8