(1,16) (2,13) (3,17) (4,19) (5,14) (6,18) (8,12) (9,11) 
nodes: 469  conflicts: 18  modelTime: 672  solveTime: 904  totalTime: 1581  modelSize: 20646  readTime: 5 size: 8