(1,16) (3,17) (4,12) (5,14) (6,19) (8,15) (10,13) 
nodes: 439  conflicts: 35  modelTime: 673  solveTime: 371  totalTime: 1049  modelSize: 20646  readTime: 5 size: 7