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