(2,20) (3,16) (4,14) (8,17) (9,19) (10,15) 
nodes: 212  conflicts: 33  modelTime: 670  solveTime: 280  totalTime: 956  modelSize: 20646  readTime: 6 size: 6