(2,22) (3,25) (6,26) (7,27) (8,16) (13,19) (14,28) 
nodes: 573  conflicts: 106  modelTime: 664  solveTime: 601  totalTime: 1272  modelSize: 41300  readTime: 7 size: 7