(2,17) (8,20) (10,12) 
nodes: 122  conflicts: 56  modelTime: 673  solveTime: 314  totalTime: 992  modelSize: 20646  readTime: 5 size: 3