solutions: 86
nodes: 168  modelTime: 247  solveTime: 219  totalTime: 510  modelSize: 10323  readTime: 43