solutions: 0
nodes: 7  modelTime: 184  solveTime: 511  totalTime: 1934  modelSize: 340872