solutions: 4
nodes: 8  modelTime: 107  solveTime: 64  totalTime: 368  modelSize: 15478  readTime: 197