solutions: 9
nodes: 15  modelTime: 141  solveTime: 59  totalTime: 229  modelSize: 10323  readTime: 29