solutions: 6
nodes: 18  modelTime: 181  solveTime: 322  totalTime: 1343  modelSize: 355821