solutions: 0
nodes: 6  modelTime: 5014  solveTime: 6726  totalTime: 12022  modelSize: 455052