solutions: 6
nodes: 11  modelTime: 116  solveTime: 61  totalTime: 380  modelSize: 15470  readTime: 203