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