(1,19) (2,12) (3,17) (4,14) (5,11) (6,16) (7,13) (8,20) (9,15) 
nodes: 482  conflicts: 20  modelTime: 672  solveTime: 576  totalTime: 1254  modelSize: 20646  readTime: 6 size: 9