solutions: 0 nodes: 3 modelTime: 5209 solveTime: 6575 totalTime: 12088 modelSize: 454923