(5,18) (7,20) (8,17) (10,14) 
nodes: 237  conflicts: 66  modelTime: 673  solveTime: 479  totalTime: 1158  modelSize: 20646  readTime: 6 size: 4