(1,15) (6,12) (7,18) (8,16) (9,19) 
nodes: 163  conflicts: 48  modelTime: 680  solveTime: 494  totalTime: 1180  modelSize: 20646  readTime: 6 size: 5