(3,11) (4,12) (6,15) (7,14) (9,17) 
nodes: 349  conflicts: 48  modelTime: 691  solveTime: 363  totalTime: 1060  modelSize: 20646  readTime: 6 size: 5