(1,14) (2,15) (7,16) (9,20) 
nodes: 109  conflicts: 58  modelTime: 680  solveTime: 261  totalTime: 947  modelSize: 20646  readTime: 6 size: 4