(1,13) (3,20) (6,19) (7,17) (8,15) (9,11) 
nodes: 222  conflicts: 46  modelTime: 672  solveTime: 297  totalTime: 974  modelSize: 20646  readTime: 5 size: 6