solutions: 1
nodes: 4  modelTime: 4900  solveTime: 6664  totalTime: 11893  modelSize: 455312