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