(1,19) (2,18) (3,12) (4,13) (5,11) (7,20) (8,15) (9,16) (10,17) 
nodes: 507  conflicts: 16  modelTime: 754  solveTime: 457  totalTime: 1217  modelSize: 20646  readTime: 6 size: 9