(4,16) (5,14) (6,20) (8,13) (10,19) 
nodes: 208  conflicts: 48  modelTime: 729  solveTime: 679  totalTime: 1413  modelSize: 20646  readTime: 5 size: 5