(2,20) (3,17) (4,14) (5,16) (6,18) (8,12) 
nodes: 571  conflicts: 35  modelTime: 770  solveTime: 670  totalTime: 1445  modelSize: 20646  readTime: 5 size: 6