Stage1 Solver 2 called to work...
Memory Usage: 146101840
cut-window = 10000, 30000
Stage1Solver 2 is ready to work