(2,14) (4,16) (5,15) (9,11) 
nodes: 107  conflicts: 47  modelTime: 675  solveTime: 224  totalTime: 905  modelSize: 20646  readTime: 6 size: 4