(4,20) (5,19) (6,13) (7,15) 
nodes: 107  conflicts: 48  modelTime: 816  solveTime: 272  totalTime: 1093  modelSize: 20646  readTime: 5 size: 4