solutions: 0 nodes: 4 modelTime: 113 solveTime: 117 totalTime: 532 modelSize: 38676