(1,25) (2,27) (5,28) (6,18) (10,22) (14,21) (15,17) 
nodes: 706  conflicts: 109  modelTime: 667  solveTime: 829  totalTime: 1503  modelSize: 41301  readTime: 7 size: 7