(1,28) (2,22) (4,25) (5,29) (8,27) (11,24) (13,20) (14,17) 
nodes: 275  conflicts: 89  modelTime: 664  solveTime: 411  totalTime: 1082  modelSize: 41300  readTime: 7 size: 8