(2,19) (3,12) (7,18) (8,15) (9,16) (10,17) 
nodes: 212  conflicts: 34  modelTime: 672  solveTime: 280  totalTime: 958  modelSize: 20646  readTime: 6 size: 6