solutions: 1
nodes: 5  modelTime: 63951  solveTime: 68845  totalTime: 133642  modelSize: 4509092