solutions: 0
nodes: 8  modelTime: 9168  solveTime: 13256  totalTime: 22774  modelSize: 1693720