solutions: 9
nodes: 18  modelTime: 130  solveTime: 55  totalTime: 349  modelSize: 15470  readTime: 163