solutions: 8
nodes: 19  modelTime: 2233  solveTime: 2582  totalTime: 5127  modelSize: 340811