solutions: 4
nodes: 13  modelTime: 190  solveTime: 459  totalTime: 1501  modelSize: 355821