solutions: 4
nodes: 11  modelTime: 254  solveTime: 251  totalTime: 997  modelSize: 185664