solutions: 1
nodes: 6  modelTime: 1351  solveTime: 5467  totalTime: 7032  modelSize: 116065  readTime: 214