(2,27) (3,30) (6,29) (7,17) (10,25) (11,21) (13,22) (14,18) 
nodes: 271  conflicts: 101  modelTime: 680  solveTime: 425  totalTime: 1112  modelSize: 41300  readTime: 7 size: 8