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