solutions: 6
nodes: 15  modelTime: 150  solveTime: 270  totalTime: 983  modelSize: 262999