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