Trace number 419971

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 229.262 229.439

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/palacios/uts/uts-l05-ipc5-h27-unknown.opb
MD5SUMb0e38289187593982ff5af631c082a3e
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 benchmark229.262
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables93573
Total number of constraints439508
Number of constraints which are clauses439508
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.65/13.77	c Converting 439298 PB-constraints to clauses...
13.75/13.84	c   -- Unit propagations: (none)
13.75/13.85	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
13.75/13.89	c   -- Clauses(.)/Splits(s): ..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
14.82/14.97	c ---[439257]---> BDD-cost:    1
14.82/14.97	c ---[439246]---> BDD-cost:    1
14.82/14.97	c ---[439244]---> BDD-cost:    1
14.82/14.97	c ---[439242]---> BDD-cost:    1
14.82/14.97	c ---[439240]---> BDD-cost:    1
14.82/14.97	c ---[439238]---> BDD-cost:    1
14.82/14.97	c ---[439236]---> BDD-cost:    1
14.82/14.97	c ---[439234]---> BDD-cost:    1
14.82/14.97	c ---[439232]---> BDD-cost:    1
14.82/14.97	c ---[439230]---> BDD-cost:    1
14.82/14.97	c ---[439228]---> BDD-cost:    1
14.82/14.97	c ---[439226]---> BDD-cost:    1
14.82/14.97	c ---[439224]---> BDD-cost:    1
14.82/14.97	c ---[439222]---> BDD-cost:    1
14.82/14.97	c ---[439220]---> BDD-cost:    1
14.82/14.97	c ---[439218]---> BDD-cost:    1
14.82/14.97	c ---[439216]---> BDD-cost:    1
14.82/14.97	c ---[439214]---> BDD-cost:    1
14.82/14.97	c ---[439212]---> BDD-cost:    1
14.82/14.97	c ---[439210]---> BDD-cost:    1
14.82/14.97	c ---[439208]---> BDD-cost:    1
14.82/14.97	c ---[439206]---> BDD-cost:    1
14.82/14.97	c ---[439204]---> BDD-cost:    1
14.82/14.97	c ---[439202]---> BDD-cost:    1
14.82/14.97	c ---[439200]---> BDD-cost:    1
14.82/14.97	c ---[439198]---> BDD-cost:    1
14.82/14.97	c ---[439196]---> BDD-cost:    1
14.82/14.97	c ---[439194]---> BDD-cost:    1
14.82/14.97	c ---[439154]---> BDD-cost:    1
14.82/14.97	c ---[439112]---> BDD-cost:    1
14.82/14.97	c ---[439110]---> BDD-cost:    1
14.82/14.97	c ---[439108]---> BDD-cost:    1
14.82/14.97	c ---[439106]---> BDD-cost:    1
14.82/14.97	c ---[439104]---> BDD-cost:    1
14.82/14.97	c ---[439102]---> BDD-cost:    1
14.82/14.97	c ---[439100]---> BDD-cost:    1
14.82/14.97	c ---[439098]---> BDD-cost:    1
14.82/14.97	c ---[439096]---> BDD-cost:    1
14.82/14.97	c ---[439094]---> BDD-cost:    1
14.82/14.97	c ---[439092]---> BDD-cost:    1
14.82/14.97	c ---[439090]---> BDD-cost:    1
14.82/14.97	c ---[439088]---> BDD-cost:    1
14.82/14.97	c ---[439086]---> BDD-cost:    1
14.82/14.97	c ---[439084]---> BDD-cost:    1
14.82/14.97	c ---[439082]---> BDD-cost:    1
14.82/14.97	c ---[439080]---> BDD-cost:    1
14.82/14.97	c ---[439078]---> BDD-cost:    1
14.82/14.97	c ---[439076]---> BDD-cost:    1
14.82/14.97	c ---[439074]---> BDD-cost:    1
14.82/14.97	c ---[439072]---> BDD-cost:    1
14.82/14.97	c ---[439070]---> BDD-cost:    1
14.82/14.97	c ---[439068]---> BDD-cost:    1
14.82/14.97	c ---[439066]---> BDD-cost:    1
14.82/14.97	c ---[439064]---> BDD-cost:    1
14.82/14.97	c ---[439062]---> BDD-cost:    1
14.82/14.97	c ---[439060]---> BDD-cost:    1
14.82/14.97	c ---[439014]---> BDD-cost:    1
14.82/14.97	c ---[438942]---> BDD-cost:    1
14.82/14.97	c ---[438940]---> BDD-cost:    1
14.82/14.97	c ---[438938]---> BDD-cost:    1
14.82/14.97	c ---[438936]---> BDD-cost:    1
14.82/14.97	c ---[438934]---> BDD-cost:    1
14.82/14.97	c ---[438932]---> BDD-cost:    1
14.82/14.97	c ---[438930]---> BDD-cost:    1
14.82/14.97	c ---[438928]---> BDD-cost:    1
14.82/14.97	c ---[438926]---> BDD-cost:    1
14.82/14.97	c ---[438924]---> BDD-cost:    1
14.82/14.97	c ---[438922]---> BDD-cost:    1
14.82/14.97	c ---[438920]---> BDD-cost:    1
14.82/14.97	c ---[438918]---> BDD-cost:    1
14.82/14.97	c ---[438916]---> BDD-cost:    1
14.82/14.97	c ---[438914]---> BDD-cost:    1
14.82/14.97	c ---[438912]---> BDD-cost:    1
14.82/14.97	c ---[438910]---> BDD-cost:    1
14.82/14.97	c ---[438908]---> BDD-cost:    1
14.82/14.97	c ---[438906]---> BDD-cost:    1
14.82/14.97	c ---[438904]---> BDD-cost:    1
14.82/14.97	c ---[438902]---> BDD-cost:    1
14.82/14.97	c ---[438900]---> BDD-cost:    1
14.82/14.97	c ---[438898]---> BDD-cost:    1
14.82/14.97	c ---[438896]---> BDD-cost:    1
14.82/14.97	c ---[438894]---> BDD-cost:    1
14.82/14.97	c ---[438892]---> BDD-cost:    1
14.82/14.97	c ---[438890]---> BDD-cost:    1
14.82/14.97	c ---[438838]---> BDD-cost:    1
14.82/14.97	c ---[438737]---> BDD-cost:    1
14.82/14.97	c ---[438735]---> BDD-cost:    1
14.82/14.97	c ---[438733]---> BDD-cost:    1
14.82/14.97	c ---[438731]---> BDD-cost:    1
14.82/14.97	c ---[438729]---> BDD-cost:    1
14.82/14.97	c ---[438727]---> BDD-cost:    1
14.82/14.97	c ---[438725]---> BDD-cost:    1
14.82/14.97	c ---[438723]---> BDD-cost:    1
14.82/14.97	c ---[438721]---> BDD-cost:    1
14.82/14.97	c ---[438719]---> BDD-cost:    1
14.82/14.97	c ---[438717]---> BDD-cost:    1
14.82/14.97	c ---[438715]---> BDD-cost:    1
14.82/14.97	c ---[438713]---> BDD-cost:    1
14.82/14.97	c ---[438711]---> BDD-cost:    1
14.82/14.97	c ---[438709]---> BDD-cost:    1
14.82/14.97	c ---[438707]---> BDD-cost:    1
14.82/14.97	c ---[438705]---> BDD-cost:    1
14.82/14.97	c ---[438703]---> BDD-cost:    1
14.82/14.97	c ---[438701]---> BDD-cost:    1
14.82/14.97	c ---[438699]---> BDD-cost:    1
14.82/14.97	c ---[438697]---> BDD-cost:    1
14.82/14.97	c ---[438695]---> BDD-cost:    1
14.82/14.97	c ---[438693]---> BDD-cost:    1
14.82/14.97	c ---[438691]---> BDD-cost:    1
14.82/14.97	c ---[438689]---> BDD-cost:    1
14.82/14.97	c ---[438687]---> BDD-cost:    1
14.82/14.97	c ---[438685]---> BDD-cost:    1
14.82/14.97	c ---[438627]---> BDD-cost:    1
14.82/14.97	c ---[438498]---> BDD-cost:    1
14.82/14.97	c ---[438496]---> BDD-cost:    1
14.82/14.97	c ---[438494]---> BDD-cost:    1
14.82/14.97	c ---[438492]---> BDD-cost:    1
14.82/14.97	c ---[438490]---> BDD-cost:    1
14.82/14.97	c ---[438488]---> BDD-cost:    1
14.82/14.97	c ---[438486]---> BDD-cost:    1
14.82/14.97	c ---[438484]---> BDD-cost:    1
14.82/14.97	c ---[438482]---> BDD-cost:    1
14.82/14.97	c ---[438480]---> BDD-cost:    1
14.82/14.97	c ---[438478]---> BDD-cost:    1
14.82/14.97	c ---[438476]---> BDD-cost:    1
14.82/14.97	c ---[438474]---> BDD-cost:    1
14.82/14.97	c ---[438472]---> BDD-cost:    1
14.82/14.97	c ---[438470]---> BDD-cost:    1
14.82/14.97	c ---[438468]---> BDD-cost:    1
14.82/14.97	c ---[438466]---> BDD-cost:    1
14.82/14.97	c ---[438464]---> BDD-cost:    1
14.82/14.97	c ---[438462]---> BDD-cost:    1
14.82/14.97	c ---[438460]---> BDD-cost:    1
14.82/14.97	c ---[438458]---> BDD-cost:    1
14.82/14.97	c ---[438456]---> BDD-cost:    1
14.82/14.97	c ---[438454]---> BDD-cost:    1
14.82/14.97	c ---[438452]---> BDD-cost:    1
14.82/14.97	c ---[438450]---> BDD-cost:    1
14.82/14.97	c ---[438448]---> BDD-cost:    1
14.82/14.97	c ---[438446]---> BDD-cost:    1
14.82/14.97	c ---[438382]---> BDD-cost:    1
14.82/14.97	c ---[438226]---> BDD-cost:    1
14.82/14.97	c ---[438224]---> BDD-cost:    1
14.82/14.97	c ---[438222]---> BDD-cost:    1
14.82/14.97	c ---[438220]---> BDD-cost:    1
14.82/14.97	c ---[438218]---> BDD-cost:    1
14.82/14.97	c ---[438216]---> BDD-cost:    1
14.82/14.97	c ---[438214]---> BDD-cost:    1
14.82/14.97	c ---[438212]---> BDD-cost:    1
14.82/14.97	c ---[438210]---> BDD-cost:    1
14.82/14.97	c ---[438208]---> BDD-cost:    1
14.82/14.97	c ---[438206]---> BDD-cost:    1
14.82/14.97	c ---[438204]---> BDD-cost:    1
14.82/14.97	c ---[438202]---> BDD-cost:    1
14.82/14.97	c ---[438200]---> BDD-cost:    1
14.82/14.97	c ---[438198]---> BDD-cost:    1
14.82/14.97	c ---[438196]---> BDD-cost:    1
14.82/14.97	c ---[438194]---> BDD-cost:    1
14.82/14.97	c ---[438192]---> BDD-cost:    1
14.82/14.97	c ---[438190]---> BDD-cost:    1
14.82/14.97	c ---[438188]---> BDD-cost:    1
14.82/14.97	c ---[438186]---> BDD-cost:    1
14.82/14.97	c ---[438184]---> BDD-cost:    1
14.82/14.97	c ---[438182]---> BDD-cost:    1
14.82/14.98	c ---[438180]---> BDD-cost:    1
14.82/14.98	c ---[438178]---> BDD-cost:    1
14.82/14.98	c ---[438176]---> BDD-cost:    1
14.82/14.98	c ---[438174]---> BDD-cost:    1
14.82/14.98	c ---[438104]---> BDD-cost:    1
14.82/14.98	c ---[437922]---> BDD-cost:    1
14.82/14.98	c ---[437920]---> BDD-cost:    1
14.82/14.98	c ---[437918]---> BDD-cost:    1
14.82/14.98	c ---[437916]---> BDD-cost:    1
14.82/14.98	c ---[437914]---> BDD-cost:    1
14.82/14.98	c ---[437912]---> BDD-cost:    1
14.82/14.98	c ---[437910]---> BDD-cost:    1
14.82/14.98	c ---[437908]---> BDD-cost:    1
14.82/14.98	c ---[437906]---> BDD-cost:    1
14.82/14.98	c ---[437904]---> BDD-cost:    1
14.82/14.98	c ---[437902]---> BDD-cost:    1
14.82/14.98	c ---[437900]---> BDD-cost:    1
14.82/14.98	c ---[437898]---> BDD-cost:    1
14.82/14.98	c ---[437896]---> BDD-cost:    1
14.82/14.98	c ---[437894]---> BDD-cost:    1
14.82/14.98	c ---[437892]---> BDD-cost:    1
14.82/14.98	c ---[437890]---> BDD-cost:    1
14.82/14.98	c ---[437888]---> BDD-cost:    1
14.82/14.98	c ---[437886]---> BDD-cost:    1
14.82/14.98	c ---[437884]---> BDD-cost:    1
14.82/14.98	c ---[437882]---> BDD-cost:    1
14.82/14.98	c ---[437880]---> BDD-cost:    1
14.82/14.98	c ---[437878]---> BDD-cost:    1
14.82/14.98	c ---[437876]---> BDD-cost:    1
14.82/14.98	c ---[437874]---> BDD-cost:    1
14.82/14.98	c ---[437872]---> BDD-cost:    1
14.82/14.98	c ---[437870]---> BDD-cost:    1
14.82/14.98	c ---[437774]---> BDD-cost:    1
14.82/14.98	c ---[437589]---> BDD-cost:    1
14.82/14.98	c ---[437587]---> BDD-cost:    1
14.82/14.98	c ---[437585]---> BDD-cost:    1
14.82/14.98	c ---[437583]---> BDD-cost:    1
14.82/14.98	c ---[437581]---> BDD-cost:    1
14.82/14.98	c ---[437579]---> BDD-cost:    1
14.82/14.98	c ---[437577]---> BDD-cost:    1
14.82/14.98	c ---[437575]---> BDD-cost:    1
14.82/14.98	c ---[437573]---> BDD-cost:    1
14.82/14.98	c ---[437571]---> BDD-cost:    1
14.82/14.98	c ---[437569]---> BDD-cost:    1
14.82/14.98	c ---[437567]---> BDD-cost:    1
14.82/14.98	c ---[437565]---> BDD-cost:    1
14.82/14.98	c ---[437563]---> BDD-cost:    1
14.82/14.98	c ---[437561]---> BDD-cost:    1
14.82/14.98	c ---[437559]---> BDD-cost:    1
14.82/14.98	c ---[437557]---> BDD-cost:    1
14.82/14.98	c ---[437555]---> BDD-cost:    1
14.82/14.98	c ---[437553]---> BDD-cost:    1
14.82/14.98	c ---[437551]---> BDD-cost:    1
14.82/14.98	c ---[437549]---> BDD-cost:    1
14.82/14.98	c ---[437547]---> BDD-cost:    1
14.82/14.98	c ---[437545]---> BDD-cost:    1
14.82/14.98	c ---[437543]---> BDD-cost:    1
14.82/14.98	c ---[437541]---> BDD-cost:    1
14.82/14.98	c ---[437539]---> BDD-cost:    1
14.82/14.98	c ---[437537]---> BDD-cost:    1
14.82/14.98	c ---[437416]---> BDD-cost:    1
14.82/14.98	c ---[437225]---> BDD-cost:    1
14.82/14.98	c ---[437223]---> BDD-cost:    1
14.82/14.98	c ---[437221]---> BDD-cost:    1
14.82/14.98	c ---[437219]---> BDD-cost:    1
14.82/14.98	c ---[437217]---> BDD-cost:    1
14.82/14.98	c ---[437215]---> BDD-cost:    1
14.82/14.98	c ---[437213]---> BDD-cost:    1
14.82/14.98	c ---[437211]---> BDD-cost:    1
14.82/14.98	c ---[437209]---> BDD-cost:    1
14.82/14.98	c ---[437207]---> BDD-cost:    1
14.82/14.98	c ---[437205]---> BDD-cost:    1
14.82/14.98	c ---[437203]---> BDD-cost:    1
14.82/14.98	c ---[437201]---> BDD-cost:    1
14.82/14.98	c ---[437199]---> BDD-cost:    1
14.82/14.98	c ---[437197]---> BDD-cost:    1
14.82/14.98	c ---[437195]---> BDD-cost:    1
14.82/14.98	c ---[437193]---> BDD-cost:    1
14.82/14.98	c ---[437191]---> BDD-cost:    1
14.82/14.98	c ---[437189]---> BDD-cost:    1
14.82/14.98	c ---[437187]---> BDD-cost:    1
14.82/14.98	c ---[437185]---> BDD-cost:    1
14.82/14.98	c ---[437183]---> BDD-cost:    1
14.82/14.98	c ---[437181]---> BDD-cost:    1
14.82/14.98	c ---[437179]---> BDD-cost:    1
14.82/14.98	c ---[437177]---> BDD-cost:    1
14.82/14.98	c ---[437175]---> BDD-cost:    1
14.82/14.98	c ---[437173]---> BDD-cost:    1
14.82/14.98	c ---[437046]---> BDD-cost:    1
14.82/14.98	c ---[436823]---> BDD-cost:    1
14.82/14.98	c ---[436821]---> BDD-cost:    1
14.82/14.98	c ---[436819]---> BDD-cost:    1
14.82/14.98	c ---[436817]---> BDD-cost:    1
14.82/14.98	c ---[436815]---> BDD-cost:    1
14.82/14.98	c ---[436813]---> BDD-cost:    1
14.82/14.98	c ---[436811]---> BDD-cost:    1
14.82/14.98	c ---[436809]---> BDD-cost:    1
14.82/14.98	c ---[436807]---> BDD-cost:    1
14.82/14.98	c ---[436805]---> BDD-cost:    1
14.82/14.98	c ---[436803]---> BDD-cost:    1
14.82/14.98	c ---[436801]---> BDD-cost:    1
14.82/14.98	c ---[436799]---> BDD-cost:    1
14.82/14.98	c ---[436797]---> BDD-cost:    1
14.82/14.98	c ---[436795]---> BDD-cost:    1
14.82/14.98	c ---[436793]---> BDD-cost:    1
14.82/14.98	c ---[436791]---> BDD-cost:    1
14.82/14.98	c ---[436789]---> BDD-cost:    1
14.82/14.98	c ---[436787]---> BDD-cost:    1
14.82/14.98	c ---[436785]---> BDD-cost:    1
14.82/14.98	c ---[436783]---> BDD-cost:    1
14.82/14.98	c ---[436781]---> BDD-cost:    1
14.82/14.98	c ---[436779]---> BDD-cost:    1
14.82/14.98	c ---[436777]---> BDD-cost:    1
14.82/14.98	c ---[436775]---> BDD-cost:    1
14.82/14.98	c ---[436773]---> BDD-cost:    1
14.82/14.98	c ---[436771]---> BDD-cost:    1
14.82/14.98	c ---[436638]---> BDD-cost:    1
14.82/14.98	c ---[436384]---> BDD-cost:    1
14.82/14.98	c ---[436382]---> BDD-cost:    1
14.82/14.98	c ---[436380]---> BDD-cost:    1
14.82/14.98	c ---[436378]---> BDD-cost:    1
14.82/14.98	c ---[436376]---> BDD-cost:    1
14.82/14.98	c ---[436374]---> BDD-cost:    1
14.82/14.98	c ---[436372]---> BDD-cost:    1
14.82/14.98	c ---[436370]---> BDD-cost:    1
14.82/14.98	c ---[436368]---> BDD-cost:    1
14.82/14.98	c ---[436366]---> BDD-cost:    1
14.82/14.98	c ---[436364]---> BDD-cost:    1
14.82/14.98	c ---[436362]---> BDD-cost:    1
14.82/14.98	c ---[436360]---> BDD-cost:    1
14.82/14.98	c ---[436358]---> BDD-cost:    1
14.82/14.98	c ---[436356]---> BDD-cost:    1
14.82/14.98	c ---[436354]---> BDD-cost:    1
14.82/14.98	c ---[436352]---> BDD-cost:    1
14.82/14.98	c ---[436350]---> BDD-cost:    1
14.82/14.98	c ---[436348]---> BDD-cost:    1
14.82/14.98	c ---[436346]---> BDD-cost:    1
14.82/14.98	c ---[436344]---> BDD-cost:    1
14.82/14.98	c ---[436342]---> BDD-cost:    1
14.82/14.98	c ---[436340]---> BDD-cost:    1
14.82/14.98	c ---[436338]---> BDD-cost:    1
14.82/14.98	c ---[436336]---> BDD-cost:    1
14.82/14.98	c ---[436334]---> BDD-cost:    1
14.82/14.98	c ---[436332]---> BDD-cost:    1
14.82/14.98	c ---[436193]---> BDD-cost:    1
14.82/14.98	c ---[435909]---> BDD-cost:    1
14.82/14.98	c ---[435907]---> BDD-cost:    1
14.82/14.98	c ---[435905]---> BDD-cost:    1
14.82/14.98	c ---[435903]---> BDD-cost:    1
14.82/14.98	c ---[435901]---> BDD-cost:    1
14.82/14.98	c ---[435899]---> BDD-cost:    1
14.82/14.98	c ---[435897]---> BDD-cost:    1
14.82/14.98	c ---[435895]---> BDD-cost:    1
14.82/14.98	c ---[435893]---> BDD-cost:    1
14.82/14.98	c ---[435891]---> BDD-cost:    1
14.82/14.98	c ---[435889]---> BDD-cost:    1
14.82/14.98	c ---[435887]---> BDD-cost:    1
14.82/14.98	c ---[435885]---> BDD-cost:    1
14.82/14.98	c ---[435883]---> BDD-cost:    1
14.82/14.98	c ---[435881]---> BDD-cost:    1
14.82/14.98	c ---[435879]---> BDD-cost:    1
14.82/14.98	c ---[435877]---> BDD-cost:    1
14.82/14.98	c ---[435875]---> BDD-cost:    1
14.82/14.98	c ---[435873]---> BDD-cost:    1
14.82/14.98	c ---[435871]---> BDD-cost:    1
14.82/14.98	c ---[435869]---> BDD-cost:    1
14.82/14.98	c ---[435867]---> BDD-cost:    1
14.82/14.98	c ---[435865]---> BDD-cost:    1
14.82/14.98	c ---[435863]---> BDD-cost:    1
14.82/14.98	c ---[435861]---> BDD-cost:    1
14.82/14.98	c ---[435859]---> BDD-cost:    1
14.82/14.98	c ---[435857]---> BDD-cost:    1
14.82/14.98	c ---[435712]---> BDD-cost:    1
14.82/14.98	c ---[435399]---> BDD-cost:    1
14.82/14.98	c ---[435397]---> BDD-cost:    1
14.82/14.98	c ---[435395]---> BDD-cost:    1
14.82/14.98	c ---[435393]---> BDD-cost:    1
14.82/14.98	c ---[435391]---> BDD-cost:    1
14.82/14.98	c ---[435389]---> BDD-cost:    1
14.82/14.98	c ---[435387]---> BDD-cost:    1
14.82/14.98	c ---[435385]---> BDD-cost:    1
14.82/14.98	c ---[435383]---> BDD-cost:    1
14.82/14.98	c ---[435381]---> BDD-cost:    1
14.82/14.98	c ---[435379]---> BDD-cost:    1
14.82/14.98	c ---[435377]---> BDD-cost:    1
14.82/14.98	c ---[435375]---> BDD-cost:    1
14.82/14.98	c ---[435373]---> BDD-cost:    1
14.82/14.98	c ---[435371]---> BDD-cost:    1
14.82/14.98	c ---[435369]---> BDD-cost:    1
14.82/14.98	c ---[435367]---> BDD-cost:    1
14.82/14.98	c ---[435365]---> BDD-cost:    1
14.82/14.98	c ---[435363]---> BDD-cost:    1
14.82/14.98	c ---[435361]---> BDD-cost:    1
14.82/14.98	c ---[435359]---> BDD-cost:    1
14.82/14.98	c ---[435357]---> BDD-cost:    1
14.82/14.98	c ---[435355]---> BDD-cost:    1
14.82/14.98	c ---[435353]---> BDD-cost:    1
14.82/14.98	c ---[435351]---> BDD-cost:    1
14.82/14.98	c ---[435349]---> BDD-cost:    1
14.82/14.98	c ---[435347]---> BDD-cost:    1
14.82/14.98	c ---[435196]---> BDD-cost:    1
14.82/14.98	c ---[434855]---> BDD-cost:    1
14.82/14.98	c ---[434853]---> BDD-cost:    1
14.82/14.98	c ---[434851]---> BDD-cost:    1
14.82/14.98	c ---[434849]---> BDD-cost:    1
14.82/14.98	c ---[434847]---> BDD-cost:    1
14.82/14.98	c ---[434845]---> BDD-cost:    1
14.82/14.98	c ---[434843]---> BDD-cost:    1
14.82/14.98	c ---[434841]---> BDD-cost:    1
14.82/14.98	c ---[434839]---> BDD-cost:    1
14.82/14.98	c ---[434837]---> BDD-cost:    1
14.82/14.98	c ---[434835]---> BDD-cost:    1
14.82/14.98	c ---[434833]---> BDD-cost:    1
14.82/14.98	c ---[434831]---> BDD-cost:    1
14.82/14.98	c ---[434829]---> BDD-cost:    1
14.82/14.98	c ---[434827]---> BDD-cost:    1
14.82/14.98	c ---[434825]---> BDD-cost:    1
14.82/14.98	c ---[434823]---> BDD-cost:    1
14.82/14.98	c ---[434821]---> BDD-cost:    1
14.82/14.98	c ---[434819]---> BDD-cost:    1
14.82/14.98	c ---[434817]---> BDD-cost:    1
14.82/14.98	c ---[434815]---> BDD-cost:    1
14.82/14.98	c ---[434813]---> BDD-cost:    1
14.82/14.98	c ---[434811]---> BDD-cost:    1
14.82/14.98	c ---[434809]---> BDD-cost:    1
14.82/14.98	c ---[434807]---> BDD-cost:    1
14.82/14.98	c ---[434805]---> BDD-cost:    1
14.82/14.98	c ---[434803]---> BDD-cost:    1
14.82/14.98	c ---[434646]---> BDD-cost:    1
14.82/14.98	c ---[434216]---> BDD-cost:    1
14.82/14.98	c ---[434214]---> BDD-cost:    1
14.82/14.98	c ---[434212]---> BDD-cost:    1
14.82/14.98	c ---[434210]---> BDD-cost:    1
14.82/14.98	c ---[434208]---> BDD-cost:    1
14.82/14.98	c ---[434206]---> BDD-cost:    1
14.82/14.98	c ---[434204]---> BDD-cost:    1
14.82/14.98	c ---[434202]---> BDD-cost:    1
14.82/14.98	c ---[434200]---> BDD-cost:    1
14.82/14.98	c ---[434198]---> BDD-cost:    1
14.82/14.98	c ---[434196]---> BDD-cost:    1
14.82/14.98	c ---[434194]---> BDD-cost:    1
14.82/14.98	c ---[434192]---> BDD-cost:    1
14.82/14.98	c ---[434190]---> BDD-cost:    1
14.82/14.98	c ---[434188]---> BDD-cost:    1
14.82/14.98	c ---[434186]---> BDD-cost:    1
14.82/14.98	c ---[434184]---> BDD-cost:    1
14.82/14.98	c ---[434182]---> BDD-cost:    1
14.82/14.98	c ---[434180]---> BDD-cost:    1
14.82/14.98	c ---[434178]---> BDD-cost:    1
14.82/14.98	c ---[434176]---> BDD-cost:    1
14.82/14.98	c ---[434174]---> BDD-cost:    1
14.82/14.98	c ---[434172]---> BDD-cost:    1
14.82/14.98	c ---[434170]---> BDD-cost:    1
14.82/14.98	c ---[434168]---> BDD-cost:    1
14.82/14.98	c ---[434166]---> BDD-cost:    1
14.82/14.98	c ---[434164]---> BDD-cost:    1
14.82/14.98	c ---[433982]---> BDD-cost:    1
14.82/14.98	c ---[433980]---> BDD-cost:    1
14.82/14.98	c ---[433978]---> BDD-cost:    1
14.82/14.98	c ---[433976]---> BDD-cost:    1
14.82/14.98	c ---[433974]---> BDD-cost:    1
14.82/14.98	c ---[433972]---> BDD-cost:    1
14.82/14.98	c ---[433970]---> BDD-cost:    1
14.82/14.98	c ---[433968]---> BDD-cost:    1
14.82/14.98	c ---[433966]---> BDD-cost:    1
14.82/14.98	c ---[433964]---> BDD-cost:    1
14.82/14.98	c ---[433962]---> BDD-cost:    1
14.82/14.98	c ---[433960]---> BDD-cost:    1
14.82/14.98	c ---[433958]---> BDD-cost:    1
14.82/14.98	c ---[433956]---> BDD-cost:    1
14.82/14.98	c ---[433954]---> BDD-cost:    1
14.82/14.98	c ---[433952]---> BDD-cost:    1
14.82/14.98	c ---[433950]---> BDD-cost:    1
14.82/14.98	c ---[433948]---> BDD-cost:    1
14.82/14.98	c ---[433946]---> BDD-cost:    1
14.82/14.98	c ---[433944]---> BDD-cost:    1
14.82/14.98	c ---[433942]---> BDD-cost:    1
14.82/14.98	c ---[433940]---> BDD-cost:    1
14.82/14.98	c ---[433938]---> BDD-cost:    1
14.82/14.98	c ---[433936]---> BDD-cost:    1
14.82/14.98	c ---[433934]---> BDD-cost:    1
14.82/14.98	c ---[433676]---> BDD-cost:    1
14.82/14.98	c ---[433674]---> BDD-cost:    1
14.82/14.98	c ---[433672]---> BDD-cost:    1
14.82/14.99	c ---[433670]---> BDD-cost:    1
14.82/14.99	c ---[433668]---> BDD-cost:    1
14.82/14.99	c ---[433666]---> BDD-cost:    1
14.82/14.99	c ---[433664]---> BDD-cost:    1
14.82/14.99	c ---[433662]---> BDD-cost:    1
14.82/14.99	c ---[433660]---> BDD-cost:    1
14.82/14.99	c ---[433658]---> BDD-cost:    1
14.82/14.99	c ---[433656]---> BDD-cost:    1
14.82/14.99	c ---[433654]---> BDD-cost:    1
14.82/14.99	c ---[433652]---> BDD-cost:    1
14.82/14.99	c ---[433650]---> BDD-cost:    1
14.82/14.99	c ---[433648]---> BDD-cost:    1
14.82/14.99	c ---[433646]---> BDD-cost:    1
14.82/14.99	c ---[433644]---> BDD-cost:    1
14.82/14.99	c ---[433642]---> BDD-cost:    1
14.82/14.99	c ---[433640]---> BDD-cost:    1
14.82/14.99	c ---[433638]---> BDD-cost:    1
14.82/14.99	c ---[433636]---> BDD-cost:    1
14.82/14.99	c ---[433634]---> BDD-cost:    1
14.82/14.99	c ---[433632]---> BDD-cost:    1
14.82/14.99	c ---[433630]---> BDD-cost:    1
14.82/14.99	c ---[433628]---> BDD-cost:    1
14.82/14.99	c ---[433626]---> BDD-cost:    1
14.82/14.99	c ---[433624]---> BDD-cost:    1
14.82/14.99	c ---[433622]---> BDD-cost:    1
14.82/14.99	c ---[433620]---> BDD-cost:    1
14.82/14.99	c ---[433618]---> BDD-cost:    1
14.82/14.99	c ---[433616]---> BDD-cost:    1
14.82/14.99	c ---[433614]---> BDD-cost:    1
14.82/14.99	c ---[433612]---> BDD-cost:    1
14.82/14.99	c ---[433610]---> BDD-cost:    1
14.82/14.99	c ---[433608]---> BDD-cost:    1
14.82/14.99	c ---[433606]---> BDD-cost:    1
14.82/14.99	c ---[433604]---> BDD-cost:    1
14.82/14.99	c ---[433271]---> BDD-cost:    1
14.82/14.99	c ---[433269]---> BDD-cost:    1
14.82/14.99	c ---[433267]---> BDD-cost:    1
14.82/14.99	c ---[433265]---> BDD-cost:    1
14.82/14.99	c ---[433263]---> BDD-cost:    1
14.82/14.99	c ---[433261]---> BDD-cost:    1
14.82/14.99	c ---[433259]---> BDD-cost:    1
14.82/14.99	c ---[433257]---> BDD-cost:    1
14.82/14.99	c ---[433255]---> BDD-cost:    1
14.82/14.99	c ---[433253]---> BDD-cost:    1
14.82/14.99	c ---[433251]---> BDD-cost:    1
14.82/14.99	c ---[433249]---> BDD-cost:    1
14.82/14.99	c ---[433247]---> BDD-cost:    1
14.82/14.99	c ---[433245]---> BDD-cost:    1
14.82/14.99	c ---[433243]---> BDD-cost:    1
14.82/14.99	c ---[433241]---> BDD-cost:    1
14.82/14.99	c ---[433239]---> BDD-cost:    1
14.82/14.99	c ---[433237]---> BDD-cost:    1
14.82/14.99	c ---[433235]---> BDD-cost:    1
14.82/14.99	c ---[433233]---> BDD-cost:    1
14.82/14.99	c ---[433231]---> BDD-cost:    1
14.82/14.99	c ---[433229]---> BDD-cost:    1
14.82/14.99	c ---[433227]---> BDD-cost:    1
14.82/14.99	c ---[433225]---> BDD-cost:    1
14.82/14.99	c ---[433223]---> BDD-cost:    1
14.82/14.99	c ---[433221]---> BDD-cost:    1
14.82/14.99	c ---[433219]---> BDD-cost:    1
14.82/14.99	c ---[433217]---> BDD-cost:    1
14.82/14.99	c ---[433215]---> BDD-cost:    1
14.82/14.99	c ---[433213]---> BDD-cost:    1
14.82/14.99	c ---[433211]---> BDD-cost:    1
14.82/14.99	c ---[433209]---> BDD-cost:    1
14.82/14.99	c ---[433207]---> BDD-cost:    1
14.82/14.99	c ---[433205]---> BDD-cost:    1
14.82/14.99	c ---[433203]---> BDD-cost:    1
14.82/14.99	c ---[433201]---> BDD-cost:    1
14.82/14.99	c ---[433199]---> BDD-cost:    1
14.82/14.99	c ---[433197]---> BDD-cost:    1
14.82/14.99	c ---[433195]---> BDD-cost:    1
14.82/14.99	c ---[433193]---> BDD-cost:    1
14.82/14.99	c ---[433191]---> BDD-cost:    1
14.82/14.99	c ---[433189]---> BDD-cost:    1
14.82/14.99	c ---[433187]---> BDD-cost:    1
14.82/14.99	c ---[433185]---> BDD-cost:    1
14.82/14.99	c ---[433183]---> BDD-cost:    1
14.82/14.99	c ---[433181]---> BDD-cost:    1
14.82/14.99	c ---[433179]---> BDD-cost:    1
14.82/14.99	c ---[433177]---> BDD-cost:    1
14.82/14.99	c ---[433175]---> BDD-cost:    1
14.82/14.99	c ---[433173]---> BDD-cost:    1
14.82/14.99	c ---[433171]---> BDD-cost:    1
14.82/14.99	c ---[433169]---> BDD-cost:    1
14.82/14.99	c ---[433167]---> BDD-cost:    1
14.82/14.99	c ---[433165]---> BDD-cost:    1
14.82/14.99	c ---[433163]---> BDD-cost:    1
14.82/14.99	c ---[433161]---> BDD-cost:    1
14.82/14.99	c ---[433159]---> BDD-cost:    1
14.82/14.99	c ---[433157]---> BDD-cost:    1
14.82/14.99	c ---[433155]---> BDD-cost:    1
14.82/14.99	c ---[433153]---> BDD-cost:    1
14.82/14.99	c ---[433151]---> BDD-cost:    1
14.82/14.99	c ---[433149]---> BDD-cost:    1
14.82/14.99	c ---[433147]---> BDD-cost:    1
14.82/14.99	c ---[433145]---> BDD-cost:    1
14.82/14.99	c ---[433143]---> BDD-cost:    1
14.82/14.99	c ---[433141]---> BDD-cost:    1
14.82/14.99	c ---[433139]---> BDD-cost:    1
14.82/14.99	c ---[433137]---> BDD-cost:    1
14.82/14.99	c ---[433135]---> BDD-cost:    1
14.82/14.99	c ---[433133]---> BDD-cost:    1
14.82/14.99	c ---[433131]---> BDD-cost:    1
14.82/14.99	c ---[433129]---> BDD-cost:    1
14.82/14.99	c ---[433127]---> BDD-cost:    1
14.82/14.99	c ---[433125]---> BDD-cost:    1
14.82/14.99	c ---[433123]---> BDD-cost:    1
14.82/14.99	c ---[433121]---> BDD-cost:    1
14.82/14.99	c ---[433119]---> BDD-cost:    1
14.82/14.99	c ---[433117]---> BDD-cost:    1
14.82/14.99	c ---[433115]---> BDD-cost:    1
14.82/14.99	c ---[433113]---> BDD-cost:    1
14.82/14.99	c ---[433111]---> BDD-cost:    1
14.82/14.99	c ---[433109]---> BDD-cost:    1
14.82/14.99	c ---[433107]---> BDD-cost:    1
14.82/14.99	c ---[433105]---> BDD-cost:    1
14.82/14.99	c ---[433103]---> BDD-cost:    1
14.82/14.99	c ---[433101]---> BDD-cost:    1
14.82/14.99	c ---[433099]---> BDD-cost:    1
14.82/14.99	c ---[433097]---> BDD-cost:    1
14.82/14.99	c ---[433095]---> BDD-cost:    1
14.82/14.99	c ---[433093]---> BDD-cost:    1
14.82/14.99	c ---[433091]---> BDD-cost:    1
14.82/14.99	c ---[433089]---> BDD-cost:    1
14.82/14.99	c ---[433087]---> BDD-cost:    1
14.82/14.99	c ---[433085]---> BDD-cost:    1
14.82/14.99	c ---[433083]---> BDD-cost:    1
14.82/14.99	c ---[433081]---> BDD-cost:    1
14.82/14.99	c ---[433079]---> BDD-cost:    1
14.82/14.99	c ---[433077]---> BDD-cost:    1
14.82/14.99	c ---[433075]---> BDD-cost:    1
14.82/14.99	c ---[433073]---> BDD-cost:    1
14.82/14.99	c ---[433071]---> BDD-cost:    1
14.82/14.99	c ---[433069]---> BDD-cost:    1
14.82/14.99	c ---[433067]---> BDD-cost:    1
14.82/14.99	c ---[433065]---> BDD-cost:    1
14.82/14.99	c ---[433063]---> BDD-cost:    1
14.82/14.99	c ---[433061]---> BDD-cost:    1
14.82/14.99	c ---[433059]---> BDD-cost:    1
14.82/14.99	c ---[433057]---> BDD-cost:    1
14.82/14.99	c ---[433055]---> BDD-cost:    1
14.82/14.99	c ---[433053]---> BDD-cost:    1
14.82/14.99	c ---[433051]---> BDD-cost:    1
14.82/14.99	c ---[433049]---> BDD-cost:    1
14.82/14.99	c ---[433047]---> BDD-cost:    1
14.82/14.99	c ---[433045]---> BDD-cost:    1
14.82/14.99	c ---[433043]---> BDD-cost:    1
14.82/14.99	c ---[433041]---> BDD-cost:    1
14.82/14.99	c ---[433039]---> BDD-cost:    1
14.82/14.99	c ---[433037]---> BDD-cost:    1
14.82/14.99	c ---[433035]---> BDD-cost:    1
14.82/14.99	c ---[433033]---> BDD-cost:    1
14.82/14.99	c ---[433031]---> BDD-cost:    1
14.82/14.99	c ---[433029]---> BDD-cost:    1
14.82/14.99	c ---[433027]---> BDD-cost:    1
14.82/14.99	c ---[433025]---> BDD-cost:    1
14.82/14.99	c ---[433023]---> BDD-cost:    1
14.82/14.99	c ---[433021]---> BDD-cost:    1
14.82/14.99	c ---[433019]---> BDD-cost:    1
14.82/14.99	c ---[433017]---> BDD-cost:    1
14.82/14.99	c ---[433015]---> BDD-cost:    1
14.82/14.99	c ---[433013]---> BDD-cost:    1
14.82/14.99	c ---[433011]---> BDD-cost:    1
14.82/14.99	c ---[433009]---> BDD-cost:    1
14.82/14.99	c ---[433007]---> BDD-cost:    1
14.82/14.99	c ---[433005]---> BDD-cost:    1
14.82/14.99	c ---[433003]---> BDD-cost:    1
14.82/14.99	c ---[433001]---> BDD-cost:    1
14.82/14.99	c ---[432999]---> BDD-cost:    1
14.82/14.99	c ---[432997]---> BDD-cost:    1
14.82/14.99	c ---[432995]---> BDD-cost:    1
14.82/14.99	c ---[432993]---> BDD-cost:    1
14.82/14.99	c ---[432991]---> BDD-cost:    1
14.82/14.99	c ---[432989]---> BDD-cost:    1
14.82/14.99	c ---[432987]---> BDD-cost:    1
14.82/14.99	c ---[432985]---> BDD-cost:    1
14.82/14.99	c ---[432983]---> BDD-cost:    1
14.82/14.99	c ---[432981]---> BDD-cost:    1
14.82/14.99	c ---[432979]---> BDD-cost:    1
14.82/14.99	c ---[432977]---> BDD-cost:    1
14.82/14.99	c ---[432975]---> BDD-cost:    1
14.82/14.99	c ---[432973]---> BDD-cost:    1
14.82/14.99	c ---[432971]---> BDD-cost:    1
14.82/14.99	c ---[432969]---> BDD-cost:    1
14.82/14.99	c ---[432967]---> BDD-cost:    1
14.82/14.99	c ---[432965]---> BDD-cost:    1
14.82/14.99	c ---[432963]---> BDD-cost:    1
14.82/14.99	c ---[432961]---> BDD-cost:    1
14.82/14.99	c ---[432959]---> BDD-cost:    1
14.82/14.99	c ---[432957]---> BDD-cost:    1
14.82/14.99	c ---[432955]---> BDD-cost:    1
14.82/14.99	c ---[432953]---> BDD-cost:    1
14.82/14.99	c ---[432951]---> BDD-cost:    1
14.82/14.99	c ---[432949]---> BDD-cost:    1
14.82/14.99	c ---[432947]---> BDD-cost:    1
14.82/14.99	c ---[432945]---> BDD-cost:    1
14.82/14.99	c ---[432943]---> BDD-cost:    1
14.82/14.99	c ---[432941]---> BDD-cost:    1
14.82/14.99	c ---[432939]---> BDD-cost:    1
14.82/14.99	c ---[432937]---> BDD-cost:    1
14.82/14.99	c ---[432935]---> BDD-cost:    1
14.82/14.99	c ---[432933]---> BDD-cost:    1
14.82/14.99	c ---[432931]---> BDD-cost:    1
14.82/14.99	c ---[432929]---> BDD-cost:    1
14.82/14.99	c ---[432927]---> BDD-cost:    1
14.82/14.99	c ---[432925]---> BDD-cost:    1
14.82/14.99	c ---[432923]---> BDD-cost:    1
14.82/14.99	c ---[432921]---> BDD-cost:    1
14.82/14.99	c ---[432919]---> BDD-cost:    1
14.82/14.99	c ---[432917]---> BDD-cost:    1
14.82/14.99	c ---[432915]---> BDD-cost:    1
14.82/14.99	c ---[432913]---> BDD-cost:    1
14.82/14.99	c ---[432911]---> BDD-cost:    1
14.82/14.99	c ---[432909]---> BDD-cost:    1
14.82/14.99	c ---[432907]---> BDD-cost:    1
14.82/14.99	c ---[432905]---> BDD-cost:    1
14.82/14.99	c ---[432903]---> BDD-cost:    1
14.82/14.99	c ---[432901]---> BDD-cost:    1
14.82/14.99	c ---[432899]---> BDD-cost:    1
14.82/14.99	c ---[432897]---> BDD-cost:    1
14.82/14.99	c ---[432895]---> BDD-cost:    1
14.82/14.99	c ---[432893]---> BDD-cost:    1
14.82/14.99	c ---[432891]---> BDD-cost:    1
14.82/14.99	c ---[432889]---> BDD-cost:    1
14.82/14.99	c ---[432887]---> BDD-cost:    1
14.82/14.99	c ---[432885]---> BDD-cost:    1
14.82/14.99	c ---[432883]---> BDD-cost:    1
14.82/14.99	c ---[432881]---> BDD-cost:    1
14.82/14.99	c ---[432879]---> BDD-cost:    1
14.82/14.99	c ---[432877]---> BDD-cost:    1
14.82/14.99	c ---[432875]---> BDD-cost:    1
14.82/14.99	c ---[432873]---> BDD-cost:    1
14.82/14.99	c ---[432871]---> BDD-cost:    1
14.82/14.99	c ---[432869]---> BDD-cost:    1
14.82/14.99	c ---[432867]---> BDD-cost:    1
14.82/14.99	c ---[432865]---> BDD-cost:    1
14.82/14.99	c ---[432863]---> BDD-cost:    1
14.82/14.99	c ---[432861]---> BDD-cost:    1
14.82/14.99	c ---[432859]---> BDD-cost:    1
14.82/14.99	c ---[432857]---> BDD-cost:    1
14.82/14.99	c ---[432855]---> BDD-cost:    1
14.82/14.99	c ---[432853]---> BDD-cost:    1
14.82/14.99	c ---[432851]---> BDD-cost:    1
14.82/14.99	c ---[432849]---> BDD-cost:    1
14.82/14.99	c ---[432847]---> BDD-cost:    1
14.82/14.99	c ---[432845]---> BDD-cost:    1
14.82/14.99	c ---[432843]---> BDD-cost:    1
14.82/14.99	c ---[432841]---> BDD-cost:    1
14.82/14.99	c ---[432839]---> BDD-cost:    1
14.82/14.99	c ---[432837]---> BDD-cost:    1
14.82/14.99	c ---[432835]---> BDD-cost:    1
14.82/14.99	c ---[432833]---> BDD-cost:    1
14.82/14.99	c ---[432831]---> BDD-cost:    1
14.82/14.99	c ---[432829]---> BDD-cost:    1
14.82/14.99	c ---[432827]---> BDD-cost:    1
14.82/14.99	c ---[432825]---> BDD-cost:    1
14.82/14.99	c ---[432823]---> BDD-cost:    1
14.82/14.99	c ---[432821]---> BDD-cost:    1
14.82/14.99	c ---[432819]---> BDD-cost:    1
14.82/14.99	c ---[432817]---> BDD-cost:    1
14.82/14.99	c ---[432815]---> BDD-cost:    1
14.82/14.99	c ---[432813]---> BDD-cost:    1
14.82/14.99	c ---[432811]---> BDD-cost:    1
14.82/14.99	c ---[432809]---> BDD-cost:    1
14.82/14.99	c ---[432807]---> BDD-cost:    1
14.82/14.99	c ---[432805]---> BDD-cost:    1
14.82/14.99	c ---[432803]---> BDD-cost:    1
14.82/14.99	c ---[432801]---> BDD-cost:    1
14.82/14.99	c ---[432799]---> BDD-cost:    1
14.82/14.99	c ---[432797]---> BDD-cost:    1
14.82/14.99	c ---[432795]---> BDD-cost:    1
14.82/14.99	c ---[432793]---> BDD-cost:    1
14.82/14.99	c ---[432791]---> BDD-cost:    1
14.82/14.99	c ---[432789]---> BDD-cost:    1
14.82/14.99	c ---[432787]---> BDD-cost:    1
14.82/14.99	c ---[432785]---> BDD-cost:    1
14.82/14.99	c ---[432783]---> BDD-cost:    1
14.82/14.99	c ---[425951]---> BDD-cost:    1
14.82/14.99	c ---[407802]---> BDD-cost:    1
14.82/14.99	c ---[395435]---> BDD-cost:    1
14.82/14.99	c ---[366970]---> BDD-cost:    1
14.82/14.99	c ---[332960]---> BDD-cost:    1
14.82/14.99	c ---[332958]---> BDD-cost:    1
14.82/14.99	c ---[332956]---> BDD-cost:    1
14.82/15.00	c ---[332954]---> BDD-cost:    1
14.82/15.00	c ---[332952]---> BDD-cost:    1
14.82/15.00	c ---[332950]---> BDD-cost:    1
14.82/15.00	c ---[332948]---> BDD-cost:    1
14.92/15.02	c ==================================[MINISAT+]==================================
14.92/15.02	c | Conflicts | Original         | Learnt                           | Progress |
14.92/15.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.92/15.02	c ==============================================================================
14.92/15.02	c |         0 |  439298  1133746 |  146432       0        0     nan |  0.000 % |
15.12/15.25	c |       100 |  439298  1133746 |  161075     100     1096    11.0 |  0.812 % |
15.52/15.60	c |       250 |  439298  1133746 |  177182     250    19449    77.8 |  0.812 % |
16.02/16.12	c |       475 |  439045  1133187 |  194900     473    27578    58.3 |  0.839 % |
17.02/17.14	c |       812 |  439045  1133187 |  214391     810    62395    77.0 |  0.839 % |
18.02/18.13	c |      1320 |  439045  1133187 |  235830    1318    81160    61.6 |  0.839 % |
19.41/19.56	c |      2079 |  439045  1133187 |  259413    2077   109163    52.6 |  0.839 % |
21.22/21.32	c |      3218 |  438811  1132637 |  285354    3211   147347    45.9 |  0.872 % |
23.11/23.25	c |      4928 |  438811  1132637 |  313889    4921   224323    45.6 |  0.872 % |
28.31/28.47	c |      7490 |  438811  1132637 |  345278    7483   332120    44.4 |  0.872 % |
32.30/32.44	c |     11334 |  438640  1132242 |  379806   11325   435980    38.5 |  0.894 % |
45.28/45.43	c |     17100 |  438640  1132242 |  417787   17091   619369    36.2 |  0.894 % |
57.68/57.84	c |     25750 |  438640  1132242 |  459566   25741   926664    36.0 |  0.894 % |
84.48/84.68	c |     38728 |  438260  1131386 |  505522   38640  1510366    39.1 |  0.948 % |
113.16/113.36	c |     58189 |  437095  1128769 |  556075   58063  2179754    37.5 |  1.112 % |
165.04/165.29	c |     87383 |  436937  1128397 |  611682   87249  3194344    36.6 |  1.136 % |
229.22/229.41	c ==============================================================================
229.22/229.41	c UNSATISFIABLE
229.22/229.41	s UNSATISFIABLE
229.22/229.41	c _______________________________________________________________________________
229.22/229.41	c 
229.22/229.41	c restarts              : 16
229.22/229.41	c conflicts             : 121251         (531 /sec)
229.22/229.41	c decisions             : 222382         (973 /sec)
229.22/229.41	c propagations          : 0              (0 /sec)
229.22/229.41	c inspects              : 0              (0 /sec)
229.22/229.41	c CPU time              : 228.513 s
229.22/229.41	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/419971-1177416074/instance-419971-1177416074.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/node13/watcher-419971-1177416074 -o ROOT/results/node13/solver-419971-1177416074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419971-1177416074/minisat+ /tmp/evaluation/419971-1177416074/instance-419971-1177416074.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: 0.92 0.98 0.99 3/83 28086
/proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=1048 CPUtime=0
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 112 0 0 0 0 0 0 0 18 0 1 0 189525334 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 262 98 75 215 0 44 0

[startup+0.030076 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 28086
/proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=1324 CPUtime=0.02
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 178 0 0 0 2 0 0 0 18 0 1 0 189525334 1355776 164 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 331 164 75 215 0 113 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1324

[startup+0.101091 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 28086
/proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=2064 CPUtime=0.09
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 349 0 0 0 9 0 0 0 18 0 1 0 189525334 2113536 335 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 516 335 75 215 0 298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2064

[startup+0.301133 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 28086
/proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=3780 CPUtime=0.29
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 804 0 0 0 29 0 0 0 19 0 1 0 189525334 3870720 790 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809948 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 945 790 75 215 0 727 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3780

[startup+0.701218 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 28086
/proc/meminfo: memFree=1940240/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=7324 CPUtime=0.69
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 1659 0 0 0 69 0 0 0 23 0 1 0 189525334 7499776 1645 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 1831 1645 75 215 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7324

[startup+1.50239 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 28087
/proc/meminfo: memFree=1931336/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=14608 CPUtime=1.48
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 3429 0 0 0 147 1 0 0 25 0 1 0 189525334 14958592 3415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808999 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 3652 3415 75 215 0 3434 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 14608

[startup+3.10173 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 28113
/proc/meminfo: memFree=1920648/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=28996 CPUtime=3.08
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 6954 0 0 0 304 4 0 0 25 0 1 0 189525334 29691904 6940 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838324 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 7249 6940 75 215 0 7031 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 28996

[startup+6.30141 s]
/proc/loadavg: 1.01 1.00 1.00 2/84 28121
/proc/meminfo: memFree=1892616/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=57268 CPUtime=6.27
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 13989 0 0 0 619 8 0 0 25 0 1 0 189525334 58642432 13925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 14317 13925 75 215 0 14099 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 57268

[startup+12.7018 s]
/proc/loadavg: 1.01 1.00 1.00 2/84 28143
/proc/meminfo: memFree=1833032/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=116340 CPUtime=12.66
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 28536 0 0 0 1249 17 0 0 25 0 1 0 189525334 119132160 28389 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/28086/statm: 29085 28389 75 215 0 28867 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 116340

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 28175
/proc/meminfo: memFree=1793480/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=149896 CPUtime=25.42
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37463 0 0 0 2473 69 0 0 25 0 1 0 189525334 153493504 36602 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580244 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37474 36602 106 215 0 37256 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 149896

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1794368/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150060 CPUtime=50.98
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37500 0 0 0 5026 72 0 0 25 0 1 0 189525334 153661440 36639 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37515 36639 106 215 0 37297 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 150060

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1794176/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150196 CPUtime=102.17
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37601 0 0 0 10145 72 0 0 25 0 1 0 189525334 153800704 36732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37549 36732 106 215 0 37331 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 150196

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793728/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150316 CPUtime=162.14
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37682 0 0 0 16142 72 0 0 25 0 1 0 189525334 153923584 36813 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37579 36813 106 215 0 37361 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 150316

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=222.12
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22140 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568484 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 150496

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

[startup+223.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=223.72
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22300 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 223.72
Current children cumulated vsize (KiB) 150496

[startup+227.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793472/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=226.92
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22620 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 226.92
Current children cumulated vsize (KiB) 150496

[startup+228.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=228.52
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22780 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006092 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 228.52
Current children cumulated vsize (KiB) 150496

[startup+229.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=228.92
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22820 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 228.92
Current children cumulated vsize (KiB) 150496

[startup+229.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=229.12
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22840 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 229.12
Current children cumulated vsize (KiB) 150496

[startup+229.402 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28203
/proc/meminfo: memFree=1793408/2055920 swapFree=4159400/4192956
[pid=28086] ppid=28084 vsize=150496 CPUtime=229.22
/proc/28086/stat : 28086 (minisat+) R 28084 28086 27435 0 -1 4194304 37729 0 0 0 22850 72 0 0 25 0 1 0 189525334 154107904 36860 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569754 0 0 4096 16386 0 0 0 17 0 0 0
/proc/28086/statm: 37624 36860 106 215 0 37406 0
Current children cumulated CPU time (s) 229.22
Current children cumulated vsize (KiB) 150496

Child status: 20
Real time (s): 229.439
CPU time (s): 229.262
CPU user time (s): 228.513
CPU system time (s): 0.748886
CPU usage (%): 99.9231
Max. virtual memory (cumulated for all children) (KiB): 150496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 228.513
system time used= 0.748886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37732
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= 4994
involuntary context switches= 5758

runsolver used 0.58691 second user time and 1.3378 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue Apr 24 12:01:15 UTC 2007

IDJOB= 419971
IDBENCH= 47812
IDSOLVER= 156
FILE ID= node13/419971-1177416074

PBS_JOBID= 4675644

Free space on /tmp= 66346 MiB

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

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  b0e38289187593982ff5af631c082a3e

RANDOM SEED= 286809631

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1940648 kB
Buffers:          2200 kB
Cached:          38788 kB
SwapCached:      12392 kB
Active:          53708 kB
Inactive:        11376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1940648 kB
SwapTotal:     4192956 kB
SwapFree:      4159400 kB
Dirty:           16048 kB
Writeback:           0 kB
Mapped:          31896 kB
Slab:            35164 kB
Committed_AS:  6845036 kB
PageTables:       2116 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= 66346 MiB

End job on node13 on Tue Apr 24 12:05:05 UTC 2007