(1,13) (2,20) (4,18) (5,11) (6,15) (7,12) (8,19) (9,17) (10,14) 
nodes: 275  conflicts: 11  modelTime: 666  solveTime: 773  totalTime: 1443  modelSize: 20646  readTime: 4 size: 9