solutions: 0
nodes: 3  modelTime: 1024  solveTime: 6257  totalTime: 7487  modelSize: 116054  readTime: 206