solutions: 0
nodes: 9  modelTime: 28023  solveTime: 34787  totalTime: 63417  modelSize: 3502273