solutions: 45
nodes: 88  modelTime: 246  solveTime: 173  totalTime: 459  modelSize: 10323  readTime: 40