(1,16) (5,12) (7,14) (9,13) (10,17) 
nodes: 247  conflicts: 43  modelTime: 706  solveTime: 570  totalTime: 1281  modelSize: 20646  readTime: 5 size: 5