(2,14) (4,13) (5,17) (7,15) 
nodes: 257  conflicts: 71  modelTime: 687  solveTime: 452  totalTime: 1145  modelSize: 20646  readTime: 6 size: 4