The ILP problem can be solved in IrwanLang just using this code:
ILP[1,1000];
I think IrwanLang has beat Mathematica :).
Hua...ha..ha.. so funny :)