(2,20) (3,14) (5,16) (6,12) (7,17) (8,15) (10,13) 
nodes: 123  conflicts: 36  modelTime: 682  solveTime: 307  totalTime: 995  modelSize: 20646  readTime: 6 size: 7