(1,11) (2,17) (3,14) (5,18) (6,15) (7,20) (8,16) 
nodes: 256  conflicts: 32  modelTime: 670  solveTime: 484  totalTime: 1160  modelSize: 20646  readTime: 6 size: 7