(1,13) (2,15) (5,19) (6,18) (7,20) (8,11) 
nodes: 105  conflicts: 39  modelTime: 717  solveTime: 271  totalTime: 995  modelSize: 20646  readTime: 6 size: 6