solutions: 4
nodes: 6  modelTime: 243  solveTime: 121  totalTime: 426  modelSize: 15470  readTime: 62