(2,14) (5,17) (6,15) (7,20) (8,11) (10,12) 
nodes: 110  conflicts: 49  modelTime: 675  solveTime: 275  totalTime: 956  modelSize: 20646  readTime: 6 size: 6