solutions: 6
nodes: 14  modelTime: 62983  solveTime: 72865  totalTime: 136788  modelSize: 3925643