(1,16) (2,19) (3,17) (4,13) (5,12) (6,15) (8,11) (9,14) 
nodes: 323  conflicts: 27  modelTime: 732  solveTime: 705  totalTime: 1442  modelSize: 20646  readTime: 5 size: 8