(2,12) (3,11) (5,15) (6,16) 
nodes: 109  conflicts: 60  modelTime: 677  solveTime: 328  totalTime: 1011  modelSize: 20646  readTime: 6 size: 4