solutions: 4
nodes: 9  modelTime: 134  solveTime: 47  totalTime: 369  modelSize: 15489  readTime: 188