solutions: 0 nodes: 4 modelTime: 124 solveTime: 128 totalTime: 532 modelSize: 38676