solutions: 20
nodes: 37  modelTime: 247  solveTime: 129  totalTime: 418  modelSize: 10323  readTime: 42