(1,14) (2,17) (3,13) (5,19) (6,11) (7,15) (8,16) (9,18) (10,12) 
nodes: 411  conflicts: 25  modelTime: 768  solveTime: 691  totalTime: 1464  modelSize: 20646  readTime: 5 size: 9