(1,19) (4,17) (5,11) (7,20) (9,12) 
nodes: 146  conflicts: 51  modelTime: 768  solveTime: 470  totalTime: 1244  modelSize: 20646  readTime: 6 size: 5