(1,20) (2,18) (3,15) (4,11) (6,17) (7,16) (8,12) (9,19) 
nodes: 803  conflicts: 13  modelTime: 675  solveTime: 939  totalTime: 1618  modelSize: 20646  readTime: 4 size: 8