(2,11) (5,14) (6,18) (7,17) (8,19) 
nodes: 109  conflicts: 42  modelTime: 648  solveTime: 291  totalTime: 946  modelSize: 20646  readTime: 6 size: 5