(1,16) (2,19) (3,15) (4,12) (5,14) (6,20) (7,11) (8,18) (9,17) 
nodes: 486  conflicts: 5  modelTime: 675  solveTime: 551  totalTime: 1230  modelSize: 20646  readTime: 4 size: 9