(1,11) (4,18) (5,14) (6,20) (9,19) 
nodes: 187  conflicts: 47  modelTime: 685  solveTime: 404  totalTime: 1095  modelSize: 20646  readTime: 6 size: 5