(2,11) (3,18) (5,12) (6,15) (8,19) 
nodes: 218  conflicts: 55  modelTime: 671  solveTime: 291  totalTime: 968  modelSize: 20646  readTime: 6 size: 5