(1,11) (2,12) (3,17) (6,14) (7,20) (8,16) (9,19) (10,15) 
nodes: 108  conflicts: 20  modelTime: 587  solveTime: 299  totalTime: 891  modelSize: 20646  readTime: 5 size: 8