(1,15) (2,13) (3,19) (4,17) (5,14) (6,20) (7,12) (8,16) (9,18) 
nodes: 803  conflicts: 14  modelTime: 679  solveTime: 796  totalTime: 1479  modelSize: 20646  readTime: 4 size: 9