solutions: 1
nodes: 3  modelTime: 1606  solveTime: 5792  totalTime: 7565  modelSize: 116150  readTime: 166