(1,19) (2,18) (3,16) (4,17) (5,13) (7,15) (8,20) (9,11) (10,12) 
nodes: 1260  conflicts: 15  modelTime: 682  solveTime: 1249  totalTime: 1936  modelSize: 20646  readTime: 5 size: 9