(1,16) (3,13) (4,12) (5,11) (6,19) (7,15) (8,14) (9,17) 
nodes: 190  conflicts: 36  modelTime: 687  solveTime: 442  totalTime: 1135  modelSize: 20646  readTime: 6 size: 8