solutions: 0 nodes: 3 modelTime: 145938 solveTime: 132809 totalTime: 279888 modelSize: 6003556