solutions: 20
nodes: 39  modelTime: 247  solveTime: 129  totalTime: 417  modelSize: 10323  readTime: 41