(2,19) (3,15) (4,13) (5,14) (6,17) (7,12) (8,18) (9,16) (10,20) 
nodes: 1162  conflicts: 11  modelTime: 699  solveTime: 1206  totalTime: 1910  modelSize: 20646  readTime: 5 size: 9