solutions: 1
nodes: 3  modelTime: 1073  solveTime: 5473  totalTime: 6761  modelSize: 116038  readTime: 215