(1,16) (2,12) (5,19) (7,14) (8,17) (9,13) 
nodes: 506  conflicts: 37  modelTime: 640  solveTime: 680  totalTime: 1326  modelSize: 20646  readTime: 6 size: 6