(3,20) (5,14) (7,17) (9,16) (10,11) 
nodes: 109  conflicts: 53  modelTime: 688  solveTime: 259  totalTime: 953  modelSize: 20646  readTime: 6 size: 5