(1,14) (2,11) (3,19) (4,13) (5,16) (6,17) (7,15) (8,18) (9,12) (10,20) 
nodes: 408  conflicts: 6  modelTime: 588  solveTime: 693  totalTime: 1285  modelSize: 20646  readTime: 4 size: 10