(5,16) (7,15) (8,14) (9,20) (10,17) 
nodes: 154  conflicts: 67  modelTime: 766  solveTime: 350  totalTime: 1122  modelSize: 20646  readTime: 6 size: 5