(1,16) (2,11) (3,20) (4,15) (5,14) (6,12) (7,18) (8,19) (10,17) 
nodes: 597  conflicts: 14  modelTime: 724  solveTime: 946  totalTime: 1674  modelSize: 20646  readTime: 4 size: 9