(1,16) (3,17) (4,18) (5,12) (6,13) (7,15) (9,14) (10,19) 
nodes: 237  conflicts: 34  modelTime: 749  solveTime: 484  totalTime: 1239  modelSize: 20646  readTime: 6 size: 8