solutions: 4
nodes: 9  modelTime: 4971  solveTime: 6060  totalTime: 11336  modelSize: 453972