(1,11) (2,13) (3,14) (5,12) (7,19) (8,17) (9,15) 
nodes: 217  conflicts: 32  modelTime: 817  solveTime: 554  totalTime: 1377  modelSize: 20646  readTime: 6 size: 7