(1,11) (2,17) (4,14) (5,15) (6,20) (7,19) 
nodes: 292  conflicts: 28  modelTime: 690  solveTime: 760  totalTime: 1456  modelSize: 20646  readTime: 6 size: 6