ampl: option jacop_options 'version nodelimit=30000';

Options

backtracklimit

Backtrack limit.

countsolutions

0 or 1 (default 0): Whether to count the number of solutions and return it in the .nsol problem suffix.

decisionlimit

Decision limit.

faillimit

Fail (wrong decision) limit.

nodelimit

Node limit.

outfreq

Output frequency in seconds. The value should be a positive integer.

outlev

0 or 1 (default 0): Whether to print solution log.

solutionlimit

Limit on the number of feasible solutions found before terminating a search. Leaving the solution limit unspecified will make the optimizer search for an optimal solution if there is an objective function or for a feasible solution otherwise.

solutionstub

Stub for solution files. If solutionstub is specified, found solutions are written to files (solutionstub & '1' & '.sol') … (solutionstub & Current.nsol & '.sol'), where Current.nsol holds the number of returned solutions. That is, file names are obtained by appending 1, 2, … Current.nsol to solutionstub.

timelimit

Time limit in seconds.

timing

0 or 1 (default 0): Whether to display timings for the run.

val_select

Value selector. Possible values:

indomainmax	select the maximal value in the domain of the variable
indomainmedian	select the median value in the domain of the variable and then right and left values
indomainmiddle	select the middle value in the domain of the variable and then right and left values
indomainmin	select the minimal value in the domain of the variable
indomainrandom	select the random value in the domain of the variable; can split domains into multiple intervals
indomainsimplerandom	similar to indomainrandom, but faster and does not achieve uniform probability

The default value is indomainmin.

var_select

Variable selector. Possible values:

largestdomain	select the variable which has the largest domain size
largestmax	select the variable with the largest maximal value in its domain
largestmin	select the variable with the largest minimal value in its domain
maxregret	max regret selector
mindomainoverdegree	select the variable based on the minimal value of domain size divided by the number of constraints currently attached to a variable
mostconstraineddynamic	select the variable which has the most pending constraints assigned to it
mostconstrainedstatic	select the variable which has the most constraints assigned to it
smallestdomain	select the variable which has the smallest domain size
smallestmax	select the variable with the smallest maximal value in its domain
smallestmin	select the variable with the smallest minimal value in its domain
weighteddegree	select the variable with the highest weight divided by its size; every time a constraint failure is encountered all variables within the scope of that constraints have increased weight

The default value is smallestdomain.

version

Single-word phrase: report version details before solving the problem.

wantsol

In a stand-alone invocation (no -AMPL on the command line), what solution information to write. Sum of

1 – write .sol file

2 – primal variables to stdout

4 – dual variables to stdout

8 – suppress solution message