(2,16) (6,17) (7,11) 
nodes: 120  conflicts: 67  modelTime: 679  solveTime: 278  totalTime: 963  modelSize: 20646  readTime: 6 size: 3