solutions: 0
nodes: 4  modelTime: 129  solveTime: 57  totalTime: 425  modelSize: 15470  readTime: 239