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