solutions: 6
nodes: 16  modelTime: 8532  solveTime: 13003  totalTime: 21912  modelSize: 1693787