(2,14) (3,11) (5,13) (6,19) (8,20) 
nodes: 131  conflicts: 50  modelTime: 683  solveTime: 286  totalTime: 974  modelSize: 20646  readTime: 5 size: 5