(1,14) (2,19) (6,17) (7,18) (8,11) (9,13) 
nodes: 111  conflicts: 29  modelTime: 590  solveTime: 353  totalTime: 948  modelSize: 20646  readTime: 5 size: 6