solutions: 6
nodes: 12  modelTime: 123  solveTime: 85  totalTime: 401  modelSize: 15470  readTime: 193