add unrestricted variables, reduce maxint to 2000
Update manual