solutions: 6
nodes: 13  modelTime: 152  solveTime: 466  totalTime: 1213  modelSize: 262994