(1,17) (2,15) (5,20) (6,11) 
nodes: 237  conflicts: 54  modelTime: 820  solveTime: 503  totalTime: 1329  modelSize: 20646  readTime: 5 size: 4