solutions: 0 nodes: 4 modelTime: 192 solveTime: 349 totalTime: 1201 modelSize: 263002