(1,17) (3,14) (4,20) (5,13) (6,16) (7,15) (8,18) (10,12) 
nodes: 104  conflicts: 19  modelTime: 765  solveTime: 228  totalTime: 998  modelSize: 20646  readTime: 5 size: 8