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