solutions: 3
nodes: 8  modelTime: 640  solveTime: 699  totalTime: 1464  modelSize: 30940  readTime: 125