solutions: 8
nodes: 17  modelTime: 139  solveTime: 63  totalTime: 232  modelSize: 10323  readTime: 30