solutions: 1
nodes: 2  modelTime: 1131  solveTime: 5926  totalTime: 7277  modelSize: 116052  readTime: 220