(1,16) (2,11) (3,20) (5,14) (9,18) 
nodes: 167  conflicts: 53  modelTime: 688  solveTime: 426  totalTime: 1120  modelSize: 20646  readTime: 6 size: 5