(1,16) (2,18) (3,11) (4,17) (6,13) (7,15) (9,19) 
nodes: 253  conflicts: 37  modelTime: 822  solveTime: 669  totalTime: 1497  modelSize: 20646  readTime: 6 size: 7