(1,17) (2,20) (3,11) (4,15) (6,12) (7,14) (8,18) (9,13) (10,16) 
nodes: 2768  conflicts: 14  modelTime: 581  solveTime: 2449  totalTime: 3034  modelSize: 20646  readTime: 4 size: 9