solutions: 3
nodes: 7  modelTime: 133  solveTime: 44  totalTime: 373  modelSize: 15470  readTime: 196