solutions: 8
nodes: 15  modelTime: 825  solveTime: 528  totalTime: 1492  modelSize: 69623  readTime: 139