solutions: 0 nodes: 6 modelTime: 4587 solveTime: 5330 totalTime: 10232 modelSize: 454932