solutions: 31
nodes: 61  modelTime: 248  solveTime: 139  totalTime: 431  modelSize: 10323  readTime: 44