(8,14) (10,11) 
nodes: 109  conflicts: 78  modelTime: 696  solveTime: 283  totalTime: 985  modelSize: 20646  readTime: 6 size: 2