solutions: 9
nodes: 18  modelTime: 245  solveTime: 118  totalTime: 405  modelSize: 10323  readTime: 42