solutions: 4
nodes: 12  modelTime: 141  solveTime: 239  totalTime: 1048  modelSize: 185664