(1,24) (2,27) (3,19) (6,16) (9,29) (12,26) (13,21) (14,17) (15,18) 
nodes: 872  conflicts: 87  modelTime: 672  solveTime: 1191  totalTime: 1870  modelSize: 41300  readTime: 7 size: 9