solutions: 7
nodes: 12  modelTime: 1591  solveTime: 755  totalTime: 2559  modelSize: 116051  readTime: 213