Trace number 420027

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat+ 1.14UNSAT 159.561 159.71

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
palacios/uts/uts-l05-ipc5-h26-unsat.opb
MD5SUM8e1618743a1bd799f44ae3006b4f801a
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark159.561
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables85694
Total number of constraints414657
Number of constraints which are clauses414657
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint403
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 401
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 804
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
13.09/13.12	c Converting 414447 PB-constraints to clauses...
13.09/13.19	c   -- Unit propagations: (none)
13.09/13.20	c   -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
13.19/13.23	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
14.16/14.27	c ---[414406]---> BDD-cost:    1
14.16/14.27	c ---[414395]---> BDD-cost:    1
14.16/14.27	c ---[414393]---> BDD-cost:    1
14.16/14.27	c ---[414391]---> BDD-cost:    1
14.16/14.27	c ---[414389]---> BDD-cost:    1
14.16/14.27	c ---[414387]---> BDD-cost:    1
14.16/14.27	c ---[414385]---> BDD-cost:    1
14.16/14.27	c ---[414383]---> BDD-cost:    1
14.16/14.27	c ---[414381]---> BDD-cost:    1
14.16/14.27	c ---[414379]---> BDD-cost:    1
14.16/14.27	c ---[414377]---> BDD-cost:    1
14.16/14.27	c ---[414375]---> BDD-cost:    1
14.16/14.27	c ---[414373]---> BDD-cost:    1
14.16/14.27	c ---[414371]---> BDD-cost:    1
14.16/14.27	c ---[414369]---> BDD-cost:    1
14.16/14.27	c ---[414367]---> BDD-cost:    1
14.16/14.27	c ---[414365]---> BDD-cost:    1
14.16/14.27	c ---[414363]---> BDD-cost:    1
14.16/14.27	c ---[414361]---> BDD-cost:    1
14.16/14.27	c ---[414359]---> BDD-cost:    1
14.16/14.27	c ---[414357]---> BDD-cost:    1
14.16/14.27	c ---[414355]---> BDD-cost:    1
14.16/14.27	c ---[414353]---> BDD-cost:    1
14.16/14.27	c ---[414351]---> BDD-cost:    1
14.16/14.27	c ---[414349]---> BDD-cost:    1
14.16/14.27	c ---[414347]---> BDD-cost:    1
14.16/14.27	c ---[414345]---> BDD-cost:    1
14.16/14.27	c ---[414343]---> BDD-cost:    1
14.16/14.27	c ---[414303]---> BDD-cost:    1
14.16/14.27	c ---[414261]---> BDD-cost:    1
14.16/14.27	c ---[414259]---> BDD-cost:    1
14.16/14.28	c ---[414257]---> BDD-cost:    1
14.16/14.28	c ---[414255]---> BDD-cost:    1
14.16/14.28	c ---[414253]---> BDD-cost:    1
14.16/14.28	c ---[414251]---> BDD-cost:    1
14.16/14.28	c ---[414249]---> BDD-cost:    1
14.16/14.28	c ---[414247]---> BDD-cost:    1
14.16/14.28	c ---[414245]---> BDD-cost:    1
14.16/14.28	c ---[414243]---> BDD-cost:    1
14.16/14.28	c ---[414241]---> BDD-cost:    1
14.16/14.28	c ---[414239]---> BDD-cost:    1
14.16/14.28	c ---[414237]---> BDD-cost:    1
14.16/14.28	c ---[414235]---> BDD-cost:    1
14.16/14.28	c ---[414233]---> BDD-cost:    1
14.16/14.28	c ---[414231]---> BDD-cost:    1
14.16/14.28	c ---[414229]---> BDD-cost:    1
14.16/14.28	c ---[414227]---> BDD-cost:    1
14.16/14.28	c ---[414225]---> BDD-cost:    1
14.16/14.28	c ---[414223]---> BDD-cost:    1
14.16/14.28	c ---[414221]---> BDD-cost:    1
14.16/14.28	c ---[414219]---> BDD-cost:    1
14.16/14.28	c ---[414217]---> BDD-cost:    1
14.16/14.28	c ---[414215]---> BDD-cost:    1
14.16/14.28	c ---[414213]---> BDD-cost:    1
14.16/14.28	c ---[414211]---> BDD-cost:    1
14.16/14.28	c ---[414209]---> BDD-cost:    1
14.16/14.28	c ---[414163]---> BDD-cost:    1
14.16/14.28	c ---[414091]---> BDD-cost:    1
14.16/14.28	c ---[414089]---> BDD-cost:    1
14.16/14.28	c ---[414087]---> BDD-cost:    1
14.16/14.28	c ---[414085]---> BDD-cost:    1
14.16/14.28	c ---[414083]---> BDD-cost:    1
14.16/14.28	c ---[414081]---> BDD-cost:    1
14.16/14.28	c ---[414079]---> BDD-cost:    1
14.16/14.28	c ---[414077]---> BDD-cost:    1
14.16/14.28	c ---[414075]---> BDD-cost:    1
14.16/14.28	c ---[414073]---> BDD-cost:    1
14.16/14.28	c ---[414071]---> BDD-cost:    1
14.16/14.28	c ---[414069]---> BDD-cost:    1
14.16/14.28	c ---[414067]---> BDD-cost:    1
14.16/14.28	c ---[414065]---> BDD-cost:    1
14.16/14.28	c ---[414063]---> BDD-cost:    1
14.16/14.28	c ---[414061]---> BDD-cost:    1
14.16/14.28	c ---[414059]---> BDD-cost:    1
14.16/14.28	c ---[414057]---> BDD-cost:    1
14.16/14.28	c ---[414055]---> BDD-cost:    1
14.16/14.28	c ---[414053]---> BDD-cost:    1
14.16/14.28	c ---[414051]---> BDD-cost:    1
14.16/14.28	c ---[414049]---> BDD-cost:    1
14.16/14.28	c ---[414047]---> BDD-cost:    1
14.16/14.28	c ---[414045]---> BDD-cost:    1
14.16/14.28	c ---[414043]---> BDD-cost:    1
14.16/14.28	c ---[414041]---> BDD-cost:    1
14.16/14.28	c ---[414039]---> BDD-cost:    1
14.16/14.28	c ---[413987]---> BDD-cost:    1
14.16/14.28	c ---[413886]---> BDD-cost:    1
14.16/14.28	c ---[413884]---> BDD-cost:    1
14.16/14.28	c ---[413882]---> BDD-cost:    1
14.16/14.28	c ---[413880]---> BDD-cost:    1
14.16/14.28	c ---[413878]---> BDD-cost:    1
14.16/14.28	c ---[413876]---> BDD-cost:    1
14.16/14.28	c ---[413874]---> BDD-cost:    1
14.16/14.28	c ---[413872]---> BDD-cost:    1
14.16/14.28	c ---[413870]---> BDD-cost:    1
14.16/14.28	c ---[413868]---> BDD-cost:    1
14.16/14.28	c ---[413866]---> BDD-cost:    1
14.16/14.28	c ---[413864]---> BDD-cost:    1
14.16/14.28	c ---[413862]---> BDD-cost:    1
14.16/14.28	c ---[413860]---> BDD-cost:    1
14.16/14.28	c ---[413858]---> BDD-cost:    1
14.16/14.28	c ---[413856]---> BDD-cost:    1
14.16/14.28	c ---[413854]---> BDD-cost:    1
14.16/14.28	c ---[413852]---> BDD-cost:    1
14.16/14.28	c ---[413850]---> BDD-cost:    1
14.16/14.28	c ---[413848]---> BDD-cost:    1
14.16/14.28	c ---[413846]---> BDD-cost:    1
14.16/14.28	c ---[413844]---> BDD-cost:    1
14.16/14.28	c ---[413842]---> BDD-cost:    1
14.16/14.28	c ---[413840]---> BDD-cost:    1
14.16/14.28	c ---[413838]---> BDD-cost:    1
14.16/14.28	c ---[413836]---> BDD-cost:    1
14.16/14.28	c ---[413834]---> BDD-cost:    1
14.16/14.28	c ---[413776]---> BDD-cost:    1
14.16/14.28	c ---[413647]---> BDD-cost:    1
14.16/14.28	c ---[413645]---> BDD-cost:    1
14.16/14.28	c ---[413643]---> BDD-cost:    1
14.16/14.28	c ---[413641]---> BDD-cost:    1
14.16/14.28	c ---[413639]---> BDD-cost:    1
14.16/14.28	c ---[413637]---> BDD-cost:    1
14.16/14.28	c ---[413635]---> BDD-cost:    1
14.16/14.28	c ---[413633]---> BDD-cost:    1
14.16/14.28	c ---[413631]---> BDD-cost:    1
14.16/14.28	c ---[413629]---> BDD-cost:    1
14.16/14.28	c ---[413627]---> BDD-cost:    1
14.16/14.28	c ---[413625]---> BDD-cost:    1
14.16/14.28	c ---[413623]---> BDD-cost:    1
14.16/14.28	c ---[413621]---> BDD-cost:    1
14.16/14.28	c ---[413619]---> BDD-cost:    1
14.16/14.28	c ---[413617]---> BDD-cost:    1
14.16/14.28	c ---[413615]---> BDD-cost:    1
14.16/14.28	c ---[413613]---> BDD-cost:    1
14.16/14.28	c ---[413611]---> BDD-cost:    1
14.16/14.28	c ---[413609]---> BDD-cost:    1
14.16/14.28	c ---[413607]---> BDD-cost:    1
14.16/14.28	c ---[413605]---> BDD-cost:    1
14.16/14.28	c ---[413603]---> BDD-cost:    1
14.16/14.28	c ---[413601]---> BDD-cost:    1
14.16/14.28	c ---[413599]---> BDD-cost:    1
14.16/14.28	c ---[413597]---> BDD-cost:    1
14.16/14.28	c ---[413595]---> BDD-cost:    1
14.16/14.28	c ---[413531]---> BDD-cost:    1
14.16/14.28	c ---[413375]---> BDD-cost:    1
14.16/14.28	c ---[413373]---> BDD-cost:    1
14.16/14.28	c ---[413371]---> BDD-cost:    1
14.16/14.28	c ---[413369]---> BDD-cost:    1
14.16/14.28	c ---[413367]---> BDD-cost:    1
14.16/14.28	c ---[413365]---> BDD-cost:    1
14.16/14.28	c ---[413363]---> BDD-cost:    1
14.16/14.28	c ---[413361]---> BDD-cost:    1
14.16/14.28	c ---[413359]---> BDD-cost:    1
14.16/14.28	c ---[413357]---> BDD-cost:    1
14.16/14.28	c ---[413355]---> BDD-cost:    1
14.16/14.28	c ---[413353]---> BDD-cost:    1
14.16/14.28	c ---[413351]---> BDD-cost:    1
14.16/14.28	c ---[413349]---> BDD-cost:    1
14.16/14.28	c ---[413347]---> BDD-cost:    1
14.16/14.28	c ---[413345]---> BDD-cost:    1
14.16/14.28	c ---[413343]---> BDD-cost:    1
14.16/14.28	c ---[413341]---> BDD-cost:    1
14.16/14.28	c ---[413339]---> BDD-cost:    1
14.16/14.28	c ---[413337]---> BDD-cost:    1
14.16/14.28	c ---[413335]---> BDD-cost:    1
14.16/14.28	c ---[413333]---> BDD-cost:    1
14.16/14.28	c ---[413331]---> BDD-cost:    1
14.16/14.28	c ---[413329]---> BDD-cost:    1
14.16/14.28	c ---[413327]---> BDD-cost:    1
14.16/14.28	c ---[413325]---> BDD-cost:    1
14.16/14.28	c ---[413323]---> BDD-cost:    1
14.16/14.28	c ---[413253]---> BDD-cost:    1
14.16/14.28	c ---[413071]---> BDD-cost:    1
14.16/14.28	c ---[413069]---> BDD-cost:    1
14.16/14.28	c ---[413067]---> BDD-cost:    1
14.16/14.28	c ---[413065]---> BDD-cost:    1
14.16/14.28	c ---[413063]---> BDD-cost:    1
14.16/14.28	c ---[413061]---> BDD-cost:    1
14.16/14.28	c ---[413059]---> BDD-cost:    1
14.16/14.28	c ---[413057]---> BDD-cost:    1
14.16/14.28	c ---[413055]---> BDD-cost:    1
14.16/14.28	c ---[413053]---> BDD-cost:    1
14.16/14.28	c ---[413051]---> BDD-cost:    1
14.16/14.28	c ---[413049]---> BDD-cost:    1
14.16/14.28	c ---[413047]---> BDD-cost:    1
14.16/14.28	c ---[413045]---> BDD-cost:    1
14.16/14.28	c ---[413043]---> BDD-cost:    1
14.16/14.28	c ---[413041]---> BDD-cost:    1
14.16/14.28	c ---[413039]---> BDD-cost:    1
14.16/14.28	c ---[413037]---> BDD-cost:    1
14.16/14.28	c ---[413035]---> BDD-cost:    1
14.16/14.28	c ---[413033]---> BDD-cost:    1
14.16/14.28	c ---[413031]---> BDD-cost:    1
14.16/14.28	c ---[413029]---> BDD-cost:    1
14.16/14.28	c ---[413027]---> BDD-cost:    1
14.16/14.28	c ---[413025]---> BDD-cost:    1
14.16/14.28	c ---[413023]---> BDD-cost:    1
14.16/14.28	c ---[413021]---> BDD-cost:    1
14.16/14.28	c ---[413019]---> BDD-cost:    1
14.16/14.28	c ---[412923]---> BDD-cost:    1
14.16/14.28	c ---[412738]---> BDD-cost:    1
14.16/14.28	c ---[412736]---> BDD-cost:    1
14.16/14.28	c ---[412734]---> BDD-cost:    1
14.16/14.28	c ---[412732]---> BDD-cost:    1
14.16/14.28	c ---[412730]---> BDD-cost:    1
14.16/14.28	c ---[412728]---> BDD-cost:    1
14.16/14.28	c ---[412726]---> BDD-cost:    1
14.16/14.28	c ---[412724]---> BDD-cost:    1
14.16/14.28	c ---[412722]---> BDD-cost:    1
14.16/14.28	c ---[412720]---> BDD-cost:    1
14.16/14.28	c ---[412718]---> BDD-cost:    1
14.16/14.28	c ---[412716]---> BDD-cost:    1
14.16/14.28	c ---[412714]---> BDD-cost:    1
14.16/14.28	c ---[412712]---> BDD-cost:    1
14.16/14.28	c ---[412710]---> BDD-cost:    1
14.16/14.28	c ---[412708]---> BDD-cost:    1
14.16/14.28	c ---[412706]---> BDD-cost:    1
14.16/14.28	c ---[412704]---> BDD-cost:    1
14.16/14.28	c ---[412702]---> BDD-cost:    1
14.16/14.28	c ---[412700]---> BDD-cost:    1
14.16/14.28	c ---[412698]---> BDD-cost:    1
14.16/14.28	c ---[412696]---> BDD-cost:    1
14.16/14.28	c ---[412694]---> BDD-cost:    1
14.16/14.28	c ---[412692]---> BDD-cost:    1
14.16/14.28	c ---[412690]---> BDD-cost:    1
14.16/14.28	c ---[412688]---> BDD-cost:    1
14.16/14.28	c ---[412686]---> BDD-cost:    1
14.16/14.28	c ---[412565]---> BDD-cost:    1
14.16/14.28	c ---[412374]---> BDD-cost:    1
14.16/14.28	c ---[412372]---> BDD-cost:    1
14.16/14.28	c ---[412370]---> BDD-cost:    1
14.16/14.28	c ---[412368]---> BDD-cost:    1
14.16/14.28	c ---[412366]---> BDD-cost:    1
14.16/14.28	c ---[412364]---> BDD-cost:    1
14.16/14.28	c ---[412362]---> BDD-cost:    1
14.16/14.28	c ---[412360]---> BDD-cost:    1
14.16/14.28	c ---[412358]---> BDD-cost:    1
14.16/14.28	c ---[412356]---> BDD-cost:    1
14.16/14.28	c ---[412354]---> BDD-cost:    1
14.16/14.28	c ---[412352]---> BDD-cost:    1
14.16/14.28	c ---[412350]---> BDD-cost:    1
14.16/14.28	c ---[412348]---> BDD-cost:    1
14.16/14.28	c ---[412346]---> BDD-cost:    1
14.16/14.28	c ---[412344]---> BDD-cost:    1
14.16/14.28	c ---[412342]---> BDD-cost:    1
14.16/14.28	c ---[412340]---> BDD-cost:    1
14.16/14.28	c ---[412338]---> BDD-cost:    1
14.16/14.28	c ---[412336]---> BDD-cost:    1
14.16/14.28	c ---[412334]---> BDD-cost:    1
14.16/14.28	c ---[412332]---> BDD-cost:    1
14.16/14.28	c ---[412330]---> BDD-cost:    1
14.16/14.28	c ---[412328]---> BDD-cost:    1
14.16/14.28	c ---[412326]---> BDD-cost:    1
14.16/14.28	c ---[412324]---> BDD-cost:    1
14.16/14.28	c ---[412322]---> BDD-cost:    1
14.16/14.28	c ---[412195]---> BDD-cost:    1
14.16/14.28	c ---[411972]---> BDD-cost:    1
14.16/14.28	c ---[411970]---> BDD-cost:    1
14.16/14.28	c ---[411968]---> BDD-cost:    1
14.16/14.28	c ---[411966]---> BDD-cost:    1
14.16/14.28	c ---[411964]---> BDD-cost:    1
14.16/14.28	c ---[411962]---> BDD-cost:    1
14.16/14.28	c ---[411960]---> BDD-cost:    1
14.16/14.28	c ---[411958]---> BDD-cost:    1
14.16/14.28	c ---[411956]---> BDD-cost:    1
14.16/14.28	c ---[411954]---> BDD-cost:    1
14.16/14.28	c ---[411952]---> BDD-cost:    1
14.16/14.28	c ---[411950]---> BDD-cost:    1
14.16/14.28	c ---[411948]---> BDD-cost:    1
14.16/14.28	c ---[411946]---> BDD-cost:    1
14.16/14.28	c ---[411944]---> BDD-cost:    1
14.16/14.28	c ---[411942]---> BDD-cost:    1
14.16/14.28	c ---[411940]---> BDD-cost:    1
14.16/14.28	c ---[411938]---> BDD-cost:    1
14.16/14.28	c ---[411936]---> BDD-cost:    1
14.16/14.28	c ---[411934]---> BDD-cost:    1
14.16/14.28	c ---[411932]---> BDD-cost:    1
14.16/14.28	c ---[411930]---> BDD-cost:    1
14.16/14.28	c ---[411928]---> BDD-cost:    1
14.16/14.28	c ---[411926]---> BDD-cost:    1
14.16/14.28	c ---[411924]---> BDD-cost:    1
14.16/14.28	c ---[411922]---> BDD-cost:    1
14.16/14.28	c ---[411920]---> BDD-cost:    1
14.16/14.28	c ---[411787]---> BDD-cost:    1
14.16/14.28	c ---[411533]---> BDD-cost:    1
14.16/14.28	c ---[411531]---> BDD-cost:    1
14.16/14.28	c ---[411529]---> BDD-cost:    1
14.16/14.28	c ---[411527]---> BDD-cost:    1
14.16/14.28	c ---[411525]---> BDD-cost:    1
14.16/14.28	c ---[411523]---> BDD-cost:    1
14.16/14.28	c ---[411521]---> BDD-cost:    1
14.16/14.28	c ---[411519]---> BDD-cost:    1
14.16/14.28	c ---[411517]---> BDD-cost:    1
14.16/14.28	c ---[411515]---> BDD-cost:    1
14.16/14.28	c ---[411513]---> BDD-cost:    1
14.16/14.28	c ---[411511]---> BDD-cost:    1
14.16/14.28	c ---[411509]---> BDD-cost:    1
14.16/14.28	c ---[411507]---> BDD-cost:    1
14.16/14.28	c ---[411505]---> BDD-cost:    1
14.16/14.28	c ---[411503]---> BDD-cost:    1
14.16/14.28	c ---[411501]---> BDD-cost:    1
14.16/14.28	c ---[411499]---> BDD-cost:    1
14.16/14.28	c ---[411497]---> BDD-cost:    1
14.16/14.28	c ---[411495]---> BDD-cost:    1
14.16/14.28	c ---[411493]---> BDD-cost:    1
14.16/14.28	c ---[411491]---> BDD-cost:    1
14.16/14.28	c ---[411489]---> BDD-cost:    1
14.16/14.28	c ---[411487]---> BDD-cost:    1
14.16/14.28	c ---[411485]---> BDD-cost:    1
14.16/14.28	c ---[411483]---> BDD-cost:    1
14.16/14.28	c ---[411481]---> BDD-cost:    1
14.16/14.28	c ---[411342]---> BDD-cost:    1
14.16/14.28	c ---[411058]---> BDD-cost:    1
14.16/14.28	c ---[411056]---> BDD-cost:    1
14.16/14.28	c ---[411054]---> BDD-cost:    1
14.16/14.28	c ---[411052]---> BDD-cost:    1
14.16/14.28	c ---[411050]---> BDD-cost:    1
14.16/14.28	c ---[411048]---> BDD-cost:    1
14.16/14.28	c ---[411046]---> BDD-cost:    1
14.16/14.28	c ---[411044]---> BDD-cost:    1
14.16/14.28	c ---[411042]---> BDD-cost:    1
14.16/14.28	c ---[411040]---> BDD-cost:    1
14.16/14.29	c ---[411038]---> BDD-cost:    1
14.16/14.29	c ---[411036]---> BDD-cost:    1
14.16/14.29	c ---[411034]---> BDD-cost:    1
14.16/14.29	c ---[411032]---> BDD-cost:    1
14.16/14.29	c ---[411030]---> BDD-cost:    1
14.16/14.29	c ---[411028]---> BDD-cost:    1
14.16/14.29	c ---[411026]---> BDD-cost:    1
14.16/14.29	c ---[411024]---> BDD-cost:    1
14.16/14.29	c ---[411022]---> BDD-cost:    1
14.16/14.29	c ---[411020]---> BDD-cost:    1
14.16/14.29	c ---[411018]---> BDD-cost:    1
14.16/14.29	c ---[411016]---> BDD-cost:    1
14.16/14.29	c ---[411014]---> BDD-cost:    1
14.16/14.29	c ---[411012]---> BDD-cost:    1
14.16/14.29	c ---[411010]---> BDD-cost:    1
14.16/14.29	c ---[411008]---> BDD-cost:    1
14.16/14.29	c ---[411006]---> BDD-cost:    1
14.16/14.29	c ---[410861]---> BDD-cost:    1
14.16/14.29	c ---[410548]---> BDD-cost:    1
14.16/14.29	c ---[410546]---> BDD-cost:    1
14.16/14.29	c ---[410544]---> BDD-cost:    1
14.16/14.29	c ---[410542]---> BDD-cost:    1
14.16/14.29	c ---[410540]---> BDD-cost:    1
14.16/14.29	c ---[410538]---> BDD-cost:    1
14.16/14.29	c ---[410536]---> BDD-cost:    1
14.16/14.29	c ---[410534]---> BDD-cost:    1
14.16/14.29	c ---[410532]---> BDD-cost:    1
14.16/14.29	c ---[410530]---> BDD-cost:    1
14.16/14.29	c ---[410528]---> BDD-cost:    1
14.16/14.29	c ---[410526]---> BDD-cost:    1
14.16/14.29	c ---[410524]---> BDD-cost:    1
14.16/14.29	c ---[410522]---> BDD-cost:    1
14.16/14.29	c ---[410520]---> BDD-cost:    1
14.16/14.29	c ---[410518]---> BDD-cost:    1
14.16/14.29	c ---[410516]---> BDD-cost:    1
14.16/14.29	c ---[410514]---> BDD-cost:    1
14.16/14.29	c ---[410512]---> BDD-cost:    1
14.16/14.29	c ---[410510]---> BDD-cost:    1
14.16/14.29	c ---[410508]---> BDD-cost:    1
14.16/14.29	c ---[410506]---> BDD-cost:    1
14.16/14.29	c ---[410504]---> BDD-cost:    1
14.16/14.29	c ---[410502]---> BDD-cost:    1
14.16/14.29	c ---[410500]---> BDD-cost:    1
14.16/14.29	c ---[410498]---> BDD-cost:    1
14.16/14.29	c ---[410496]---> BDD-cost:    1
14.16/14.29	c ---[410345]---> BDD-cost:    1
14.16/14.29	c ---[409942]---> BDD-cost:    1
14.16/14.29	c ---[409940]---> BDD-cost:    1
14.16/14.29	c ---[409938]---> BDD-cost:    1
14.16/14.29	c ---[409936]---> BDD-cost:    1
14.16/14.29	c ---[409934]---> BDD-cost:    1
14.16/14.29	c ---[409932]---> BDD-cost:    1
14.16/14.29	c ---[409930]---> BDD-cost:    1
14.16/14.29	c ---[409928]---> BDD-cost:    1
14.16/14.29	c ---[409926]---> BDD-cost:    1
14.16/14.29	c ---[409924]---> BDD-cost:    1
14.16/14.29	c ---[409922]---> BDD-cost:    1
14.16/14.29	c ---[409920]---> BDD-cost:    1
14.16/14.29	c ---[409918]---> BDD-cost:    1
14.16/14.29	c ---[409916]---> BDD-cost:    1
14.16/14.29	c ---[409914]---> BDD-cost:    1
14.16/14.29	c ---[409912]---> BDD-cost:    1
14.16/14.29	c ---[409910]---> BDD-cost:    1
14.16/14.29	c ---[409908]---> BDD-cost:    1
14.16/14.29	c ---[409906]---> BDD-cost:    1
14.16/14.29	c ---[409904]---> BDD-cost:    1
14.16/14.29	c ---[409902]---> BDD-cost:    1
14.16/14.29	c ---[409900]---> BDD-cost:    1
14.16/14.29	c ---[409898]---> BDD-cost:    1
14.16/14.29	c ---[409896]---> BDD-cost:    1
14.16/14.29	c ---[409894]---> BDD-cost:    1
14.16/14.29	c ---[409892]---> BDD-cost:    1
14.16/14.29	c ---[409890]---> BDD-cost:    1
14.16/14.29	c ---[409714]---> BDD-cost:    1
14.16/14.29	c ---[409712]---> BDD-cost:    1
14.16/14.29	c ---[409710]---> BDD-cost:    1
14.16/14.29	c ---[409708]---> BDD-cost:    1
14.16/14.29	c ---[409706]---> BDD-cost:    1
14.16/14.29	c ---[409704]---> BDD-cost:    1
14.16/14.29	c ---[409702]---> BDD-cost:    1
14.16/14.29	c ---[409700]---> BDD-cost:    1
14.16/14.29	c ---[409698]---> BDD-cost:    1
14.16/14.29	c ---[409696]---> BDD-cost:    1
14.16/14.29	c ---[409694]---> BDD-cost:    1
14.16/14.29	c ---[409692]---> BDD-cost:    1
14.16/14.29	c ---[409690]---> BDD-cost:    1
14.16/14.29	c ---[409688]---> BDD-cost:    1
14.16/14.29	c ---[409686]---> BDD-cost:    1
14.16/14.29	c ---[409684]---> BDD-cost:    1
14.16/14.29	c ---[409682]---> BDD-cost:    1
14.16/14.29	c ---[409680]---> BDD-cost:    1
14.16/14.29	c ---[409678]---> BDD-cost:    1
14.16/14.29	c ---[409676]---> BDD-cost:    1
14.16/14.29	c ---[409674]---> BDD-cost:    1
14.16/14.29	c ---[409672]---> BDD-cost:    1
14.16/14.29	c ---[409670]---> BDD-cost:    1
14.16/14.29	c ---[409668]---> BDD-cost:    1
14.16/14.29	c ---[409666]---> BDD-cost:    1
14.16/14.29	c ---[409408]---> BDD-cost:    1
14.16/14.29	c ---[409406]---> BDD-cost:    1
14.16/14.29	c ---[409404]---> BDD-cost:    1
14.16/14.29	c ---[409402]---> BDD-cost:    1
14.16/14.29	c ---[409400]---> BDD-cost:    1
14.16/14.29	c ---[409398]---> BDD-cost:    1
14.16/14.29	c ---[409396]---> BDD-cost:    1
14.16/14.29	c ---[409394]---> BDD-cost:    1
14.16/14.29	c ---[409392]---> BDD-cost:    1
14.16/14.29	c ---[409390]---> BDD-cost:    1
14.16/14.29	c ---[409388]---> BDD-cost:    1
14.16/14.29	c ---[409386]---> BDD-cost:    1
14.16/14.29	c ---[409384]---> BDD-cost:    1
14.16/14.29	c ---[409382]---> BDD-cost:    1
14.16/14.29	c ---[409380]---> BDD-cost:    1
14.16/14.29	c ---[409378]---> BDD-cost:    1
14.16/14.29	c ---[409376]---> BDD-cost:    1
14.16/14.29	c ---[409374]---> BDD-cost:    1
14.16/14.29	c ---[409372]---> BDD-cost:    1
14.16/14.29	c ---[409370]---> BDD-cost:    1
14.16/14.29	c ---[409368]---> BDD-cost:    1
14.16/14.29	c ---[409366]---> BDD-cost:    1
14.16/14.29	c ---[409364]---> BDD-cost:    1
14.16/14.29	c ---[409362]---> BDD-cost:    1
14.16/14.29	c ---[409360]---> BDD-cost:    1
14.16/14.29	c ---[409358]---> BDD-cost:    1
14.16/14.29	c ---[409356]---> BDD-cost:    1
14.16/14.29	c ---[409354]---> BDD-cost:    1
14.16/14.29	c ---[409352]---> BDD-cost:    1
14.16/14.29	c ---[409350]---> BDD-cost:    1
14.16/14.29	c ---[409348]---> BDD-cost:    1
14.16/14.29	c ---[409346]---> BDD-cost:    1
14.16/14.29	c ---[409344]---> BDD-cost:    1
14.16/14.29	c ---[409342]---> BDD-cost:    1
14.16/14.29	c ---[409340]---> BDD-cost:    1
14.16/14.29	c ---[409338]---> BDD-cost:    1
14.16/14.29	c ---[409336]---> BDD-cost:    1
14.16/14.29	c ---[409029]---> BDD-cost:    1
14.16/14.29	c ---[409027]---> BDD-cost:    1
14.16/14.29	c ---[409025]---> BDD-cost:    1
14.16/14.29	c ---[409023]---> BDD-cost:    1
14.16/14.29	c ---[409021]---> BDD-cost:    1
14.16/14.29	c ---[409019]---> BDD-cost:    1
14.16/14.29	c ---[409017]---> BDD-cost:    1
14.16/14.29	c ---[409015]---> BDD-cost:    1
14.16/14.29	c ---[409013]---> BDD-cost:    1
14.16/14.29	c ---[409011]---> BDD-cost:    1
14.16/14.29	c ---[409009]---> BDD-cost:    1
14.16/14.29	c ---[409007]---> BDD-cost:    1
14.16/14.29	c ---[409005]---> BDD-cost:    1
14.16/14.29	c ---[409003]---> BDD-cost:    1
14.16/14.29	c ---[409001]---> BDD-cost:    1
14.16/14.29	c ---[408999]---> BDD-cost:    1
14.16/14.29	c ---[408997]---> BDD-cost:    1
14.16/14.29	c ---[408995]---> BDD-cost:    1
14.16/14.29	c ---[408993]---> BDD-cost:    1
14.16/14.29	c ---[408991]---> BDD-cost:    1
14.16/14.29	c ---[408989]---> BDD-cost:    1
14.16/14.29	c ---[408987]---> BDD-cost:    1
14.16/14.29	c ---[408985]---> BDD-cost:    1
14.16/14.29	c ---[408983]---> BDD-cost:    1
14.16/14.29	c ---[408981]---> BDD-cost:    1
14.16/14.29	c ---[408979]---> BDD-cost:    1
14.16/14.29	c ---[408977]---> BDD-cost:    1
14.16/14.29	c ---[408975]---> BDD-cost:    1
14.16/14.29	c ---[408973]---> BDD-cost:    1
14.16/14.29	c ---[408971]---> BDD-cost:    1
14.16/14.29	c ---[408969]---> BDD-cost:    1
14.16/14.29	c ---[408967]---> BDD-cost:    1
14.16/14.29	c ---[408965]---> BDD-cost:    1
14.16/14.29	c ---[408963]---> BDD-cost:    1
14.16/14.29	c ---[408961]---> BDD-cost:    1
14.16/14.29	c ---[408959]---> BDD-cost:    1
14.16/14.29	c ---[408957]---> BDD-cost:    1
14.16/14.29	c ---[408955]---> BDD-cost:    1
14.16/14.29	c ---[408953]---> BDD-cost:    1
14.16/14.29	c ---[408951]---> BDD-cost:    1
14.16/14.29	c ---[408949]---> BDD-cost:    1
14.16/14.29	c ---[408947]---> BDD-cost:    1
14.16/14.29	c ---[408945]---> BDD-cost:    1
14.16/14.29	c ---[408943]---> BDD-cost:    1
14.16/14.29	c ---[408941]---> BDD-cost:    1
14.16/14.29	c ---[408939]---> BDD-cost:    1
14.16/14.29	c ---[408937]---> BDD-cost:    1
14.16/14.29	c ---[408935]---> BDD-cost:    1
14.16/14.29	c ---[408933]---> BDD-cost:    1
14.16/14.29	c ---[408931]---> BDD-cost:    1
14.16/14.29	c ---[408929]---> BDD-cost:    1
14.16/14.29	c ---[408927]---> BDD-cost:    1
14.16/14.29	c ---[408925]---> BDD-cost:    1
14.16/14.29	c ---[408923]---> BDD-cost:    1
14.16/14.29	c ---[408921]---> BDD-cost:    1
14.16/14.29	c ---[408919]---> BDD-cost:    1
14.16/14.29	c ---[408917]---> BDD-cost:    1
14.16/14.29	c ---[408915]---> BDD-cost:    1
14.16/14.29	c ---[408913]---> BDD-cost:    1
14.16/14.29	c ---[408911]---> BDD-cost:    1
14.16/14.29	c ---[408909]---> BDD-cost:    1
14.16/14.29	c ---[408907]---> BDD-cost:    1
14.16/14.29	c ---[408905]---> BDD-cost:    1
14.16/14.29	c ---[408903]---> BDD-cost:    1
14.16/14.29	c ---[408901]---> BDD-cost:    1
14.16/14.29	c ---[408899]---> BDD-cost:    1
14.16/14.29	c ---[408897]---> BDD-cost:    1
14.16/14.29	c ---[408895]---> BDD-cost:    1
14.16/14.29	c ---[408893]---> BDD-cost:    1
14.16/14.29	c ---[408891]---> BDD-cost:    1
14.16/14.29	c ---[408889]---> BDD-cost:    1
14.16/14.29	c ---[408887]---> BDD-cost:    1
14.16/14.29	c ---[408885]---> BDD-cost:    1
14.16/14.29	c ---[408883]---> BDD-cost:    1
14.16/14.29	c ---[408881]---> BDD-cost:    1
14.16/14.29	c ---[408879]---> BDD-cost:    1
14.16/14.29	c ---[408877]---> BDD-cost:    1
14.16/14.29	c ---[408875]---> BDD-cost:    1
14.16/14.29	c ---[408873]---> BDD-cost:    1
14.16/14.29	c ---[408871]---> BDD-cost:    1
14.16/14.29	c ---[408869]---> BDD-cost:    1
14.16/14.29	c ---[408867]---> BDD-cost:    1
14.16/14.29	c ---[408865]---> BDD-cost:    1
14.16/14.29	c ---[408863]---> BDD-cost:    1
14.16/14.29	c ---[408861]---> BDD-cost:    1
14.16/14.29	c ---[408859]---> BDD-cost:    1
14.16/14.29	c ---[408857]---> BDD-cost:    1
14.16/14.29	c ---[408855]---> BDD-cost:    1
14.16/14.29	c ---[408853]---> BDD-cost:    1
14.16/14.29	c ---[408851]---> BDD-cost:    1
14.16/14.29	c ---[408849]---> BDD-cost:    1
14.16/14.29	c ---[408847]---> BDD-cost:    1
14.16/14.29	c ---[408845]---> BDD-cost:    1
14.16/14.29	c ---[408843]---> BDD-cost:    1
14.16/14.29	c ---[408841]---> BDD-cost:    1
14.16/14.29	c ---[408839]---> BDD-cost:    1
14.16/14.29	c ---[408837]---> BDD-cost:    1
14.16/14.29	c ---[408835]---> BDD-cost:    1
14.16/14.29	c ---[408833]---> BDD-cost:    1
14.16/14.29	c ---[408831]---> BDD-cost:    1
14.16/14.29	c ---[408829]---> BDD-cost:    1
14.16/14.29	c ---[408827]---> BDD-cost:    1
14.16/14.29	c ---[408825]---> BDD-cost:    1
14.16/14.29	c ---[408823]---> BDD-cost:    1
14.16/14.29	c ---[408821]---> BDD-cost:    1
14.16/14.29	c ---[408819]---> BDD-cost:    1
14.16/14.29	c ---[408817]---> BDD-cost:    1
14.16/14.29	c ---[408815]---> BDD-cost:    1
14.16/14.29	c ---[408813]---> BDD-cost:    1
14.16/14.29	c ---[408811]---> BDD-cost:    1
14.16/14.29	c ---[408809]---> BDD-cost:    1
14.16/14.29	c ---[408807]---> BDD-cost:    1
14.16/14.29	c ---[408805]---> BDD-cost:    1
14.16/14.29	c ---[408803]---> BDD-cost:    1
14.16/14.29	c ---[408801]---> BDD-cost:    1
14.16/14.29	c ---[408799]---> BDD-cost:    1
14.16/14.29	c ---[408797]---> BDD-cost:    1
14.16/14.29	c ---[408795]---> BDD-cost:    1
14.16/14.29	c ---[408793]---> BDD-cost:    1
14.16/14.29	c ---[408791]---> BDD-cost:    1
14.16/14.29	c ---[408789]---> BDD-cost:    1
14.16/14.29	c ---[408787]---> BDD-cost:    1
14.16/14.29	c ---[408785]---> BDD-cost:    1
14.16/14.29	c ---[408783]---> BDD-cost:    1
14.16/14.29	c ---[408781]---> BDD-cost:    1
14.16/14.29	c ---[408779]---> BDD-cost:    1
14.16/14.29	c ---[408777]---> BDD-cost:    1
14.16/14.29	c ---[408775]---> BDD-cost:    1
14.16/14.29	c ---[408773]---> BDD-cost:    1
14.16/14.29	c ---[408771]---> BDD-cost:    1
14.16/14.29	c ---[408769]---> BDD-cost:    1
14.16/14.29	c ---[408767]---> BDD-cost:    1
14.16/14.29	c ---[408765]---> BDD-cost:    1
14.16/14.29	c ---[408763]---> BDD-cost:    1
14.16/14.29	c ---[408761]---> BDD-cost:    1
14.16/14.29	c ---[408759]---> BDD-cost:    1
14.16/14.29	c ---[408757]---> BDD-cost:    1
14.16/14.29	c ---[408755]---> BDD-cost:    1
14.16/14.29	c ---[408753]---> BDD-cost:    1
14.16/14.29	c ---[408751]---> BDD-cost:    1
14.16/14.29	c ---[408749]---> BDD-cost:    1
14.16/14.29	c ---[408747]---> BDD-cost:    1
14.16/14.29	c ---[408745]---> BDD-cost:    1
14.16/14.29	c ---[408743]---> BDD-cost:    1
14.16/14.29	c ---[408741]---> BDD-cost:    1
14.16/14.29	c ---[408739]---> BDD-cost:    1
14.16/14.29	c ---[408737]---> BDD-cost:    1
14.16/14.29	c ---[408735]---> BDD-cost:    1
14.16/14.29	c ---[408733]---> BDD-cost:    1
14.16/14.29	c ---[408731]---> BDD-cost:    1
14.16/14.29	c ---[408729]---> BDD-cost:    1
14.16/14.29	c ---[408727]---> BDD-cost:    1
14.16/14.29	c ---[408725]---> BDD-cost:    1
14.16/14.29	c ---[408723]---> BDD-cost:    1
14.16/14.29	c ---[408721]---> BDD-cost:    1
14.16/14.29	c ---[408719]---> BDD-cost:    1
14.16/14.29	c ---[408717]---> BDD-cost:    1
14.16/14.29	c ---[408715]---> BDD-cost:    1
14.16/14.29	c ---[408713]---> BDD-cost:    1
14.16/14.29	c ---[408711]---> BDD-cost:    1
14.16/14.30	c ---[408709]---> BDD-cost:    1
14.16/14.30	c ---[408707]---> BDD-cost:    1
14.16/14.30	c ---[408705]---> BDD-cost:    1
14.16/14.30	c ---[408703]---> BDD-cost:    1
14.16/14.30	c ---[408701]---> BDD-cost:    1
14.16/14.30	c ---[408699]---> BDD-cost:    1
14.16/14.30	c ---[408697]---> BDD-cost:    1
14.16/14.30	c ---[408695]---> BDD-cost:    1
14.16/14.30	c ---[408693]---> BDD-cost:    1
14.16/14.30	c ---[408691]---> BDD-cost:    1
14.16/14.30	c ---[408689]---> BDD-cost:    1
14.16/14.30	c ---[408687]---> BDD-cost:    1
14.16/14.30	c ---[408685]---> BDD-cost:    1
14.16/14.30	c ---[408683]---> BDD-cost:    1
14.16/14.30	c ---[408681]---> BDD-cost:    1
14.16/14.30	c ---[408679]---> BDD-cost:    1
14.16/14.30	c ---[408677]---> BDD-cost:    1
14.16/14.30	c ---[408675]---> BDD-cost:    1
14.16/14.30	c ---[408673]---> BDD-cost:    1
14.16/14.30	c ---[408671]---> BDD-cost:    1
14.16/14.30	c ---[408669]---> BDD-cost:    1
14.16/14.30	c ---[408667]---> BDD-cost:    1
14.16/14.30	c ---[408665]---> BDD-cost:    1
14.16/14.30	c ---[408663]---> BDD-cost:    1
14.16/14.30	c ---[408661]---> BDD-cost:    1
14.16/14.30	c ---[408659]---> BDD-cost:    1
14.16/14.30	c ---[408657]---> BDD-cost:    1
14.16/14.30	c ---[408655]---> BDD-cost:    1
14.16/14.30	c ---[408653]---> BDD-cost:    1
14.16/14.30	c ---[408651]---> BDD-cost:    1
14.16/14.30	c ---[408649]---> BDD-cost:    1
14.16/14.30	c ---[408647]---> BDD-cost:    1
14.16/14.30	c ---[408645]---> BDD-cost:    1
14.16/14.30	c ---[408643]---> BDD-cost:    1
14.16/14.30	c ---[408641]---> BDD-cost:    1
14.16/14.30	c ---[408639]---> BDD-cost:    1
14.16/14.30	c ---[408637]---> BDD-cost:    1
14.16/14.30	c ---[408635]---> BDD-cost:    1
14.16/14.30	c ---[408633]---> BDD-cost:    1
14.16/14.30	c ---[408631]---> BDD-cost:    1
14.16/14.30	c ---[408629]---> BDD-cost:    1
14.16/14.30	c ---[408627]---> BDD-cost:    1
14.16/14.30	c ---[408625]---> BDD-cost:    1
14.16/14.30	c ---[408623]---> BDD-cost:    1
14.16/14.30	c ---[408621]---> BDD-cost:    1
14.16/14.30	c ---[408619]---> BDD-cost:    1
14.16/14.30	c ---[408617]---> BDD-cost:    1
14.16/14.30	c ---[408615]---> BDD-cost:    1
14.16/14.30	c ---[408613]---> BDD-cost:    1
14.16/14.30	c ---[408611]---> BDD-cost:    1
14.16/14.30	c ---[408609]---> BDD-cost:    1
14.16/14.30	c ---[408607]---> BDD-cost:    1
14.16/14.30	c ---[408605]---> BDD-cost:    1
14.16/14.30	c ---[408603]---> BDD-cost:    1
14.16/14.30	c ---[408601]---> BDD-cost:    1
14.16/14.30	c ---[408599]---> BDD-cost:    1
14.16/14.30	c ---[408597]---> BDD-cost:    1
14.16/14.30	c ---[408595]---> BDD-cost:    1
14.16/14.30	c ---[408593]---> BDD-cost:    1
14.16/14.30	c ---[408591]---> BDD-cost:    1
14.16/14.30	c ---[408589]---> BDD-cost:    1
14.16/14.30	c ---[408587]---> BDD-cost:    1
14.16/14.30	c ---[408585]---> BDD-cost:    1
14.16/14.30	c ---[408583]---> BDD-cost:    1
14.16/14.30	c ---[408581]---> BDD-cost:    1
14.16/14.30	c ---[408579]---> BDD-cost:    1
14.16/14.30	c ---[408577]---> BDD-cost:    1
14.16/14.30	c ---[408575]---> BDD-cost:    1
14.16/14.30	c ---[408573]---> BDD-cost:    1
14.16/14.30	c ---[408571]---> BDD-cost:    1
14.16/14.30	c ---[408569]---> BDD-cost:    1
14.16/14.30	c ---[408567]---> BDD-cost:    1
14.16/14.30	c ---[408565]---> BDD-cost:    1
14.16/14.30	c ---[408563]---> BDD-cost:    1
14.16/14.30	c ---[408561]---> BDD-cost:    1
14.16/14.30	c ---[408559]---> BDD-cost:    1
14.16/14.30	c ---[408557]---> BDD-cost:    1
14.16/14.30	c ---[408555]---> BDD-cost:    1
14.16/14.30	c ---[408553]---> BDD-cost:    1
14.16/14.30	c ---[408551]---> BDD-cost:    1
14.16/14.30	c ---[408549]---> BDD-cost:    1
14.16/14.30	c ---[408547]---> BDD-cost:    1
14.16/14.30	c ---[408545]---> BDD-cost:    1
14.16/14.30	c ---[408543]---> BDD-cost:    1
14.16/14.30	c ---[408541]---> BDD-cost:    1
14.16/14.30	c ---[401933]---> BDD-cost:    1
14.16/14.30	c ---[384274]---> BDD-cost:    1
14.16/14.30	c ---[372221]---> BDD-cost:    1
14.16/14.30	c ---[344819]---> BDD-cost:    1
14.16/14.30	c ---[312039]---> BDD-cost:    1
14.16/14.30	c ---[312037]---> BDD-cost:    1
14.16/14.30	c ---[312035]---> BDD-cost:    1
14.16/14.30	c ---[312033]---> BDD-cost:    1
14.16/14.30	c ---[312031]---> BDD-cost:    1
14.16/14.30	c ---[312029]---> BDD-cost:    1
14.16/14.30	c ---[312027]---> BDD-cost:    1
14.26/14.32	c ==================================[MINISAT+]==================================
14.26/14.32	c | Conflicts | Original         | Learnt                           | Progress |
14.26/14.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.26/14.32	c ==============================================================================
14.26/14.32	c |         0 |  414447  1074839 |  138149       0        0     nan |  0.000 % |
14.45/14.51	c |       101 |  414447  1074839 |  151963     101     2047    20.3 |  0.854 % |
14.65/14.74	c |       251 |  414447  1074839 |  167160     251     4594    18.3 |  0.854 % |
14.85/14.92	c |       476 |  414447  1074839 |  183876     476     9389    19.7 |  0.854 % |
15.35/15.45	c |       813 |  414447  1074839 |  202263     813    17351    21.3 |  0.854 % |
15.85/15.97	c |      1321 |  414447  1074839 |  222490    1321    34111    25.8 |  0.854 % |
17.15/17.26	c |      2080 |  414447  1074839 |  244739    2080    78166    37.6 |  0.854 % |
19.75/19.84	c |      3219 |  414447  1074839 |  269213    3219   115436    35.9 |  0.854 % |
22.55/22.64	c |      4927 |  414253  1074392 |  296134    4925   165152    33.5 |  0.881 % |
25.15/25.29	c |      7489 |  414062  1073954 |  325748    7485   237496    31.7 |  0.907 % |
29.85/29.96	c |     11334 |  414062  1073954 |  358322   11330   354245    31.3 |  0.907 % |
39.03/39.14	c |     17100 |  413871  1073518 |  394155   17094   526715    30.8 |  0.935 % |
50.71/50.87	c |     25749 |  413504  1072666 |  433570   25739   863000    33.5 |  0.988 % |
70.00/70.15	c |     38723 |  413504  1072666 |  476927   38713  1224523    31.6 |  0.988 % |
101.57/101.76	c |     58184 |  413200  1072023 |  524620   49891  1636049    32.8 |  1.023 % |
144.45/144.69	c |     87376 |  413172  1071967 |  577082   71553  2014955    28.2 |  1.024 % |
159.45/159.68	c ==============================================================================
159.45/159.68	c UNSATISFIABLE
159.45/159.68	s UNSATISFIABLE
159.45/159.68	c _______________________________________________________________________________
159.45/159.68	c 
159.45/159.68	c restarts              : 16
159.45/159.68	c conflicts             : 97779          (615 /sec)
159.45/159.68	c decisions             : 155474         (979 /sec)
159.45/159.68	c propagations          : 0              (0 /sec)
159.45/159.68	c inspects              : 0              (0 /sec)
159.45/159.68	c CPU time              : 158.872 s
159.45/159.68	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-420027-1177417303 -o ROOT/results/node20/solver-420027-1177417303 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14776
/proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=1048 CPUtime=0
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 110 0 0 0 0 0 0 0 18 0 1 0 189647731 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 262 96 75 215 0 44 0

[startup+0.062072 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14776
/proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=1596 CPUtime=0.05
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 257 0 0 0 5 0 0 0 18 0 1 0 189647731 1634304 243 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 399 243 75 215 0 181 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1596

[startup+0.101078 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14776
/proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=2060 CPUtime=0.09
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 351 0 0 0 9 0 0 0 18 0 1 0 189647731 2109440 337 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 515 337 75 215 0 297 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2060

[startup+0.301119 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14776
/proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=3896 CPUtime=0.29
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 812 0 0 0 29 0 0 0 19 0 1 0 189647731 3989504 798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 974 798 75 215 0 756 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3896

[startup+0.701198 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 14776
/proc/meminfo: memFree=1906728/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=7320 CPUtime=0.69
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 1666 0 0 0 69 0 0 0 23 0 1 0 189647731 7495680 1652 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005895 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 1830 1652 75 215 0 1612 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7320

[startup+1.50136 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1897760/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=14452 CPUtime=1.48
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 3391 0 0 0 147 1 0 0 25 0 1 0 189647731 14798848 3377 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 3613 3377 75 215 0 3395 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14452

[startup+3.10168 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1888160/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=28268 CPUtime=3.08
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 6786 0 0 0 305 3 0 0 25 0 1 0 189647731 28946432 6772 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 7067 6772 75 215 0 6849 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28268

[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1859616/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=56596 CPUtime=6.29
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 13804 0 0 0 620 9 0 0 25 0 1 0 189647731 57954304 13748 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 14149 13748 75 215 0 13931 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56596

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1800552/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=115488 CPUtime=12.68
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 28283 0 0 0 1251 17 0 0 25 0 1 0 189647731 118259712 28144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/14776/statm: 28872 28144 75 215 0 28654 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 115488

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1768168/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=140688 CPUtime=25.45
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35364 0 0 0 2480 65 0 0 25 0 1 0 189647731 144064512 34557 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35172 34557 106 215 0 34954 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 140688

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767976/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=140688 CPUtime=51.01
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35377 0 0 0 5036 65 0 0 25 0 1 0 189647731 144064512 34570 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580248 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35172 34570 106 215 0 34954 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 140688

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767720/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=140932 CPUtime=102.18
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35456 0 0 0 10153 65 0 0 25 0 1 0 189647731 144314368 34649 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35233 34649 106 215 0 35015 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 140932

Solver just ended. Dumping a history of the last processes samples

[startup+127.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767592/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=140932 CPUtime=127.77
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35471 0 0 0 12711 66 0 0 25 0 1 0 189647731 144314368 34664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580282 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35233 34664 106 215 0 35015 0
Current children cumulated CPU time (s) 127.77
Current children cumulated vsize (KiB) 140932

[startup+140.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767528/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=140.56
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35485 0 0 0 13990 66 0 0 25 0 1 0 189647731 144437248 34678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34678 106 215 0 35045 0
Current children cumulated CPU time (s) 140.56
Current children cumulated vsize (KiB) 141052

[startup+153.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=153.35
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15269 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573393 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34689 106 215 0 35045 0
Current children cumulated CPU time (s) 153.35
Current children cumulated vsize (KiB) 141052

[startup+156.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=156.55
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15589 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34689 106 215 0 35045 0
Current children cumulated CPU time (s) 156.55
Current children cumulated vsize (KiB) 141052

[startup+158.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=158.15
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15749 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34689 106 215 0 35045 0
Current children cumulated CPU time (s) 158.15
Current children cumulated vsize (KiB) 141052

[startup+159.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=158.95
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15829 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34689 106 215 0 35045 0
Current children cumulated CPU time (s) 158.95
Current children cumulated vsize (KiB) 141052

[startup+159.505 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=141052 CPUtime=159.35
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194304 35496 0 0 0 15869 66 0 0 25 0 1 0 189647731 144437248 34689 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 35263 34689 106 215 0 35045 0
Current children cumulated CPU time (s) 159.35
Current children cumulated vsize (KiB) 141052

[startup+159.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 14777
/proc/meminfo: memFree=1767464/2055920 swapFree=4154104/4192956
[pid=14776] ppid=14774 vsize=0 CPUtime=159.54
/proc/14776/stat : 14776 (minisat+) R 14774 14776 14266 0 -1 4194308 35499 0 0 0 15887 67 0 0 25 0 1 0 189647731 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16386 0 0 0 17 0 0 0
/proc/14776/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 159.54
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 159.71
CPU time (s): 159.561
CPU user time (s): 158.876
CPU system time (s): 0.684895
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 141052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158.876
system time used= 0.684895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5342
involuntary context switches= 3528

runsolver used 0.494924 second user time and 1.12283 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue Apr 24 12:21:44 UTC 2007

IDJOB= 420027
IDBENCH= 47816
IDSOLVER= 156
FILE ID= node20/420027-1177417303

PBS_JOBID= 4675706

Free space on /tmp= 66442 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/palacios/uts/uts-l05-ipc5-h26-unsat.opb
COMMAND LINE= /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-420027-1177417303 -o ROOT/results/node20/conversion-420027-1177417303 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-420027-1177417303 -o ROOT/results/node20/solver-420027-1177417303 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/420027-1177417303/minisat+ /tmp/evaluation/420027-1177417303/instance-420027-1177417303.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  8e1618743a1bd799f44ae3006b4f801a

RANDOM SEED= 758417297

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1907072 kB
Buffers:         13848 kB
Cached:          71240 kB
SwapCached:      17864 kB
Active:          63716 kB
Inactive:        45856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1907072 kB
SwapTotal:     4192956 kB
SwapFree:      4154104 kB
Dirty:           15260 kB
Writeback:           0 kB
Mapped:          29760 kB
Slab:            24816 kB
Committed_AS:  2033632 kB
PageTables:       1744 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66442 MiB

End job on node20 on Tue Apr 24 12:24:24 UTC 2007