(2,18) (3,15) (4,11) (5,12) (6,17) (7,19) (8,14) (9,13) (10,20) 
nodes: 472  conflicts: 11  modelTime: 677  solveTime: 831  totalTime: 1512  modelSize: 20646  readTime: 4 size: 9