(2,19) (3,13) (4,14) (5,18) (6,11) (8,17) 
nodes: 177  conflicts: 28  modelTime: 816  solveTime: 563  totalTime: 1386  modelSize: 20646  readTime: 6 size: 6