(1,16) (2,17) (3,12) (4,20) (9,11) 
nodes: 131  conflicts: 46  modelTime: 689  solveTime: 355  totalTime: 1050  modelSize: 20646  readTime: 6 size: 5