solutions: 1
nodes: 6  modelTime: 5587  solveTime: 6440  totalTime: 12318  modelSize: 454945