solutions: 4
nodes: 12  modelTime: 130  solveTime: 128  totalTime: 552  modelSize: 38678