(3,18) (4,20) (6,15) (7,13) (8,14) (9,19) 
nodes: 213  conflicts: 51  modelTime: 677  solveTime: 445  totalTime: 1127  modelSize: 20646  readTime: 5 size: 6