solutions: 4
nodes: 8  modelTime: 955  solveTime: 4985  totalTime: 6129  modelSize: 92835  readTime: 189