prgnam=gecode; version=3.7.2; built=1405168268; buildrev=d0c108251ae79dcfec055e5a51799df8cbbd955a; slackware=14.1;