(1,17) (2,15) (3,14) (4,16) (5,18) (6,12) (7,11) (8,20) (9,19) 
nodes: 543  conflicts: 8  modelTime: 761  solveTime: 582  totalTime: 1347  modelSize: 20646  readTime: 4 size: 9