Trace number 34741

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.14? (TO) 1800.76 1801.26

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUM84dfc4b706a5e82746c96ff285501708
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark14.7248
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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	c Parsing PB file...
20.14	c Converting 468375 PB-constraints to clauses...
20.23	c   -- Unit propagations: (none)
20.23	c   -- Detecting intervals from adjacent constraints: ##############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
20.28	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
21.41	c ---[1498]---> BDD-cost:    7
21.41	c ---[1496]---> BDD-cost:    7
21.41	c ---[1494]---> BDD-cost:    7
21.41	c ---[1492]---> BDD-cost:    7
21.41	c ---[1490]---> BDD-cost:    7
21.41	c ---[1488]---> BDD-cost:    7
21.41	c ---[1486]---> BDD-cost:    7
21.41	c ---[1484]---> BDD-cost:    7
21.41	c ---[1482]---> BDD-cost:    7
21.41	c ---[1480]---> BDD-cost:    7
21.41	c ---[1478]---> BDD-cost:    7
21.41	c ---[1476]---> BDD-cost:    7
21.41	c ---[1474]---> BDD-cost:    7
21.41	c ---[1472]---> BDD-cost:    7
21.41	c ---[1470]---> BDD-cost:    7
21.41	c ---[1468]---> BDD-cost:    7
21.41	c ---[1466]---> BDD-cost:    7
21.41	c ---[1464]---> BDD-cost:    7
21.41	c ---[1462]---> BDD-cost:    7
21.41	c ---[1460]---> BDD-cost:    7
21.41	c ---[1458]---> BDD-cost:    7
21.41	c ---[1456]---> BDD-cost:    7
21.41	c ---[1454]---> BDD-cost:    7
21.41	c ---[1452]---> BDD-cost:    7
21.41	c ---[1450]---> BDD-cost:    7
21.41	c ---[1448]---> BDD-cost:    7
21.41	c ---[1446]---> BDD-cost:    7
21.41	c ---[1444]---> BDD-cost:    7
21.41	c ---[1442]---> BDD-cost:    7
21.41	c ---[1440]---> BDD-cost:    7
21.41	c ---[1438]---> BDD-cost:    7
21.41	c ---[1436]---> BDD-cost:    7
21.41	c ---[1434]---> BDD-cost:    7
21.41	c ---[1432]---> BDD-cost:    7
21.41	c ---[1430]---> BDD-cost:    7
21.41	c ---[1428]---> BDD-cost:    7
21.41	c ---[1426]---> BDD-cost:    7
21.41	c ---[1424]---> BDD-cost:    7
21.41	c ---[1422]---> BDD-cost:    7
21.41	c ---[1420]---> BDD-cost:    7
21.41	c ---[1418]---> BDD-cost:    7
21.41	c ---[1416]---> BDD-cost:    7
21.41	c ---[1414]---> BDD-cost:    7
21.41	c ---[1412]---> BDD-cost:    7
21.41	c ---[1410]---> BDD-cost:    7
21.41	c ---[1408]---> BDD-cost:    7
21.41	c ---[1406]---> BDD-cost:    7
21.41	c ---[1404]---> BDD-cost:    7
21.41	c ---[1402]---> BDD-cost:    7
21.41	c ---[1400]---> BDD-cost:    7
21.41	c ---[1398]---> BDD-cost:    7
21.41	c ---[1396]---> BDD-cost:    7
21.41	c ---[1394]---> BDD-cost:    7
21.41	c ---[1392]---> BDD-cost:    7
21.41	c ---[1390]---> BDD-cost:    7
21.41	c ---[1388]---> BDD-cost:    7
21.41	c ---[1386]---> BDD-cost:    7
21.41	c ---[1384]---> BDD-cost:    7
21.41	c ---[1382]---> BDD-cost:    7
21.41	c ---[1380]---> BDD-cost:    7
21.41	c ---[1378]---> BDD-cost:    7
21.41	c ---[1376]---> BDD-cost:    7
21.41	c ---[1374]---> BDD-cost:    7
21.41	c ---[1372]---> BDD-cost:    7
21.41	c ---[1370]---> BDD-cost:    7
21.41	c ---[1368]---> BDD-cost:    7
21.41	c ---[1366]---> BDD-cost:    7
21.41	c ---[1364]---> BDD-cost:    7
21.41	c ---[1362]---> BDD-cost:    7
21.41	c ---[1360]---> BDD-cost:    7
21.41	c ---[1358]---> BDD-cost:    7
21.41	c ---[1356]---> BDD-cost:    7
21.41	c ---[1354]---> BDD-cost:    7
21.41	c ---[1352]---> BDD-cost:    7
21.41	c ---[1350]---> BDD-cost:    7
21.41	c ---[1348]---> BDD-cost:    7
21.41	c ---[1346]---> BDD-cost:    7
21.41	c ---[1344]---> BDD-cost:    7
21.41	c ---[1342]---> BDD-cost:    7
21.41	c ---[1340]---> BDD-cost:    7
21.41	c ---[1338]---> BDD-cost:    7
21.41	c ---[1336]---> BDD-cost:    7
21.41	c ---[1334]---> BDD-cost:    7
21.41	c ---[1332]---> BDD-cost:    7
21.41	c ---[1330]---> BDD-cost:    7
21.41	c ---[1328]---> BDD-cost:    7
21.41	c ---[1326]---> BDD-cost:    7
21.41	c ---[1324]---> BDD-cost:    7
21.41	c ---[1322]---> BDD-cost:    7
21.41	c ---[1320]---> BDD-cost:    7
21.41	c ---[1318]---> BDD-cost:    7
21.41	c ---[1316]---> BDD-cost:    7
21.41	c ---[1314]---> BDD-cost:    7
21.41	c ---[1312]---> BDD-cost:    7
21.41	c ---[1310]---> BDD-cost:    7
21.41	c ---[1308]---> BDD-cost:    7
21.41	c ---[1306]---> BDD-cost:    7
21.41	c ---[1304]---> BDD-cost:    7
21.41	c ---[1302]---> BDD-cost:    7
21.41	c ---[1300]---> BDD-cost:    7
21.41	c ---[1298]---> BDD-cost:    7
21.41	c ---[1296]---> BDD-cost:    7
21.41	c ---[1294]---> BDD-cost:    7
21.41	c ---[1292]---> BDD-cost:    7
21.41	c ---[1290]---> BDD-cost:    7
21.41	c ---[1288]---> BDD-cost:    7
21.41	c ---[1286]---> BDD-cost:    7
21.41	c ---[1284]---> BDD-cost:    7
21.41	c ---[1282]---> BDD-cost:    7
21.41	c ---[1280]---> BDD-cost:    7
21.41	c ---[1278]---> BDD-cost:    7
21.41	c ---[1276]---> BDD-cost:    7
21.41	c ---[1274]---> BDD-cost:    7
21.41	c ---[1272]---> BDD-cost:    7
21.41	c ---[1270]---> BDD-cost:    7
21.41	c ---[1268]---> BDD-cost:    7
21.41	c ---[1266]---> BDD-cost:    7
21.41	c ---[1264]---> BDD-cost:    7
21.41	c ---[1262]---> BDD-cost:    7
21.41	c ---[1260]---> BDD-cost:    7
21.41	c ---[1258]---> BDD-cost:    7
21.41	c ---[1256]---> BDD-cost:    7
21.41	c ---[1254]---> BDD-cost:    7
21.41	c ---[1252]---> BDD-cost:    7
21.41	c ---[1250]---> BDD-cost:    7
21.41	c ---[1248]---> BDD-cost:    7
21.41	c ---[1246]---> BDD-cost:    7
21.41	c ---[1244]---> BDD-cost:    7
21.41	c ---[1242]---> BDD-cost:    7
21.41	c ---[1240]---> BDD-cost:    7
21.42	c ---[1238]---> BDD-cost:    7
21.42	c ---[1236]---> BDD-cost:    7
21.42	c ---[1234]---> BDD-cost:    7
21.42	c ---[1232]---> BDD-cost:    7
21.42	c ---[1230]---> BDD-cost:    7
21.42	c ---[1228]---> BDD-cost:    7
21.42	c ---[1226]---> BDD-cost:    7
21.42	c ---[1224]---> BDD-cost:    7
21.42	c ---[1222]---> BDD-cost:    7
21.42	c ---[1220]---> BDD-cost:    7
21.42	c ---[1218]---> BDD-cost:    7
21.42	c ---[1216]---> BDD-cost:    7
21.42	c ---[1214]---> BDD-cost:    7
21.42	c ---[1212]---> BDD-cost:    7
21.42	c ---[1210]---> BDD-cost:    7
21.42	c ---[1208]---> BDD-cost:    7
21.42	c ---[1206]---> BDD-cost:    7
21.42	c ---[1204]---> BDD-cost:    7
21.42	c ---[1202]---> BDD-cost:    7
21.42	c ---[1200]---> BDD-cost:    7
21.42	c ---[1198]---> BDD-cost:    7
21.42	c ---[1196]---> BDD-cost:    7
21.42	c ---[1194]---> BDD-cost:    7
21.42	c ---[1192]---> BDD-cost:    7
21.42	c ---[1190]---> BDD-cost:    7
21.42	c ---[1188]---> BDD-cost:    7
21.42	c ---[1186]---> BDD-cost:    7
21.42	c ---[1184]---> BDD-cost:    7
21.42	c ---[1182]---> BDD-cost:    7
21.42	c ---[1180]---> BDD-cost:    7
21.42	c ---[1178]---> BDD-cost:    7
21.42	c ---[1176]---> BDD-cost:    7
21.42	c ---[1174]---> BDD-cost:    7
21.42	c ---[1172]---> BDD-cost:    7
21.42	c ---[1170]---> BDD-cost:    7
21.42	c ---[1168]---> BDD-cost:    7
21.42	c ---[1166]---> BDD-cost:    7
21.42	c ---[1164]---> BDD-cost:    7
21.42	c ---[1162]---> BDD-cost:    7
21.42	c ---[1160]---> BDD-cost:    7
21.42	c ---[1158]---> BDD-cost:    7
21.42	c ---[1156]---> BDD-cost:    7
21.42	c ---[1154]---> BDD-cost:    7
21.42	c ---[1152]---> BDD-cost:    7
21.42	c ---[1150]---> BDD-cost:    7
21.42	c ---[1148]---> BDD-cost:    7
21.42	c ---[1146]---> BDD-cost:    7
21.42	c ---[1144]---> BDD-cost:    7
21.42	c ---[1142]---> BDD-cost:    7
21.42	c ---[1140]---> BDD-cost:    7
21.42	c ---[1138]---> BDD-cost:    7
21.42	c ---[1136]---> BDD-cost:    7
21.42	c ---[1134]---> BDD-cost:    7
21.42	c ---[1132]---> BDD-cost:    7
21.42	c ---[1130]---> BDD-cost:    7
21.42	c ---[1128]---> BDD-cost:    7
21.42	c ---[1126]---> BDD-cost:    7
21.42	c ---[1124]---> BDD-cost:    7
21.42	c ---[1122]---> BDD-cost:    7
21.42	c ---[1120]---> BDD-cost:    7
21.42	c ---[1118]---> BDD-cost:    7
21.42	c ---[1116]---> BDD-cost:    7
21.42	c ---[1114]---> BDD-cost:    7
21.42	c ---[1112]---> BDD-cost:    7
21.42	c ---[1110]---> BDD-cost:    7
21.42	c ---[1108]---> BDD-cost:    7
21.42	c ---[1106]---> BDD-cost:    7
21.42	c ---[1104]---> BDD-cost:    7
21.42	c ---[1102]---> BDD-cost:    7
21.42	c ---[1100]---> BDD-cost:    7
21.42	c ---[1098]---> BDD-cost:    7
21.42	c ---[1096]---> BDD-cost:    7
21.42	c ---[1094]---> BDD-cost:    7
21.42	c ---[1092]---> BDD-cost:    7
21.42	c ---[1090]---> BDD-cost:    7
21.42	c ---[1088]---> BDD-cost:    7
21.42	c ---[1086]---> BDD-cost:    7
21.42	c ---[1084]---> BDD-cost:    7
21.42	c ---[1082]---> BDD-cost:    7
21.42	c ---[1080]---> BDD-cost:    7
21.42	c ---[1078]---> BDD-cost:    7
21.42	c ---[1076]---> BDD-cost:    7
21.42	c ---[1074]---> BDD-cost:    7
21.42	c ---[1072]---> BDD-cost:    7
21.42	c ---[1070]---> BDD-cost:    7
21.42	c ---[1068]---> BDD-cost:    7
21.42	c ---[1066]---> BDD-cost:    7
21.42	c ---[1064]---> BDD-cost:    7
21.42	c ---[1062]---> BDD-cost:    7
21.42	c ---[1060]---> BDD-cost:    7
21.42	c ---[1058]---> BDD-cost:    7
21.42	c ---[1056]---> BDD-cost:    7
21.42	c ---[1054]---> BDD-cost:    7
21.42	c ---[1052]---> BDD-cost:    7
21.42	c ---[1050]---> BDD-cost:    7
21.42	c ---[1048]---> BDD-cost:    7
21.42	c ---[1046]---> BDD-cost:    7
21.42	c ---[1044]---> BDD-cost:    7
21.42	c ---[1042]---> BDD-cost:    7
21.42	c ---[1040]---> BDD-cost:    7
21.42	c ---[1038]---> BDD-cost:    7
21.42	c ---[1036]---> BDD-cost:    7
21.42	c ---[1034]---> BDD-cost:    7
21.42	c ---[1032]---> BDD-cost:    7
21.42	c ---[1030]---> BDD-cost:    7
21.42	c ---[1028]---> BDD-cost:    7
21.42	c ---[1026]---> BDD-cost:    7
21.42	c ---[1024]---> BDD-cost:    7
21.42	c ---[1022]---> BDD-cost:    7
21.42	c ---[1020]---> BDD-cost:    7
21.42	c ---[1018]---> BDD-cost:    7
21.42	c ---[1016]---> BDD-cost:    7
21.42	c ---[1014]---> BDD-cost:    7
21.42	c ---[1012]---> BDD-cost:    7
21.42	c ---[1010]---> BDD-cost:    7
21.42	c ---[1008]---> BDD-cost:    7
21.42	c ---[1006]---> BDD-cost:    7
21.42	c ---[1004]---> BDD-cost:    7
21.42	c ---[1002]---> BDD-cost:    7
21.42	c ---[1000]---> BDD-cost:    7
21.42	c ---[ 998]---> BDD-cost:    7
21.42	c ---[ 996]---> BDD-cost:    7
21.42	c ---[ 994]---> BDD-cost:    7
21.42	c ---[ 992]---> BDD-cost:    7
21.42	c ---[ 990]---> BDD-cost:    7
21.42	c ---[ 988]---> BDD-cost:    7
21.42	c ---[ 986]---> BDD-cost:    7
21.42	c ---[ 984]---> BDD-cost:    7
21.42	c ---[ 982]---> BDD-cost:    7
21.42	c ---[ 980]---> BDD-cost:    7
21.42	c ---[ 978]---> BDD-cost:    7
21.42	c ---[ 976]---> BDD-cost:    7
21.42	c ---[ 974]---> BDD-cost:    7
21.42	c ---[ 972]---> BDD-cost:    7
21.42	c ---[ 970]---> BDD-cost:    7
21.42	c ---[ 968]---> BDD-cost:    7
21.43	c ---[ 966]---> BDD-cost:    7
21.43	c ---[ 964]---> BDD-cost:    7
21.43	c ---[ 962]---> BDD-cost:    7
21.43	c ---[ 960]---> BDD-cost:    7
21.43	c ---[ 958]---> BDD-cost:    7
21.43	c ---[ 956]---> BDD-cost:    7
21.43	c ---[ 954]---> BDD-cost:    7
21.43	c ---[ 952]---> BDD-cost:    7
21.43	c ---[ 950]---> BDD-cost:    7
21.43	c ---[ 948]---> BDD-cost:    7
21.43	c ---[ 946]---> BDD-cost:    7
21.43	c ---[ 944]---> BDD-cost:    7
21.43	c ---[ 942]---> BDD-cost:    7
21.43	c ---[ 940]---> BDD-cost:    7
21.43	c ---[ 938]---> BDD-cost:    7
21.43	c ---[ 936]---> BDD-cost:    7
21.43	c ---[ 934]---> BDD-cost:    7
21.43	c ---[ 932]---> BDD-cost:    7
21.43	c ---[ 930]---> BDD-cost:    7
21.43	c ---[ 928]---> BDD-cost:    7
21.43	c ---[ 926]---> BDD-cost:    7
21.43	c ---[ 924]---> BDD-cost:    7
21.43	c ---[ 922]---> BDD-cost:    7
21.43	c ---[ 920]---> BDD-cost:    7
21.43	c ---[ 918]---> BDD-cost:    7
21.43	c ---[ 916]---> BDD-cost:    7
21.43	c ---[ 914]---> BDD-cost:    7
21.43	c ---[ 912]---> BDD-cost:    7
21.43	c ---[ 910]---> BDD-cost:    7
21.43	c ---[ 908]---> BDD-cost:    7
21.43	c ---[ 906]---> BDD-cost:    7
21.43	c ---[ 904]---> BDD-cost:    7
21.43	c ---[ 902]---> BDD-cost:    7
21.43	c ---[ 900]---> BDD-cost:    7
21.43	c ---[ 898]---> BDD-cost:    7
21.43	c ---[ 896]---> BDD-cost:    7
21.43	c ---[ 894]---> BDD-cost:    7
21.43	c ---[ 892]---> BDD-cost:    7
21.43	c ---[ 890]---> BDD-cost:    7
21.43	c ---[ 888]---> BDD-cost:    7
21.43	c ---[ 886]---> BDD-cost:    7
21.43	c ---[ 884]---> BDD-cost:    7
21.43	c ---[ 882]---> BDD-cost:    7
21.43	c ---[ 880]---> BDD-cost:    7
21.43	c ---[ 878]---> BDD-cost:    7
21.43	c ---[ 876]---> BDD-cost:    7
21.43	c ---[ 874]---> BDD-cost:    7
21.43	c ---[ 872]---> BDD-cost:    7
21.43	c ---[ 870]---> BDD-cost:    7
21.43	c ---[ 868]---> BDD-cost:    7
21.43	c ---[ 866]---> BDD-cost:    7
21.43	c ---[ 864]---> BDD-cost:    7
21.43	c ---[ 862]---> BDD-cost:    7
21.43	c ---[ 860]---> BDD-cost:    7
21.43	c ---[ 858]---> BDD-cost:    7
21.43	c ---[ 856]---> BDD-cost:    7
21.43	c ---[ 854]---> BDD-cost:    7
21.43	c ---[ 852]---> BDD-cost:    7
21.43	c ---[ 850]---> BDD-cost:    7
21.43	c ---[ 848]---> BDD-cost:    7
21.43	c ---[ 846]---> BDD-cost:    7
21.43	c ---[ 844]---> BDD-cost:    7
21.43	c ---[ 842]---> BDD-cost:    7
21.43	c ---[ 840]---> BDD-cost:    7
21.43	c ---[ 838]---> BDD-cost:    7
21.43	c ---[ 836]---> BDD-cost:    7
21.43	c ---[ 834]---> BDD-cost:    7
21.43	c ---[ 832]---> BDD-cost:    7
21.43	c ---[ 830]---> BDD-cost:    7
21.43	c ---[ 828]---> BDD-cost:    7
21.43	c ---[ 826]---> BDD-cost:    7
21.43	c ---[ 824]---> BDD-cost:    7
21.43	c ---[ 822]---> BDD-cost:    7
21.43	c ---[ 820]---> BDD-cost:    7
21.43	c ---[ 818]---> BDD-cost:    7
21.43	c ---[ 816]---> BDD-cost:    7
21.43	c ---[ 814]---> BDD-cost:    7
21.43	c ---[ 812]---> BDD-cost:    7
21.43	c ---[ 810]---> BDD-cost:    7
21.43	c ---[ 808]---> BDD-cost:    7
21.43	c ---[ 806]---> BDD-cost:    7
21.43	c ---[ 804]---> BDD-cost:    7
21.43	c ---[ 802]---> BDD-cost:    7
21.43	c ---[ 800]---> BDD-cost:    7
21.43	c ---[ 798]---> BDD-cost:    7
21.43	c ---[ 796]---> BDD-cost:    7
21.43	c ---[ 794]---> BDD-cost:    7
21.43	c ---[ 792]---> BDD-cost:    7
21.43	c ---[ 790]---> BDD-cost:    7
21.43	c ---[ 788]---> BDD-cost:    7
21.43	c ---[ 786]---> BDD-cost:    7
21.43	c ---[ 784]---> BDD-cost:    7
21.43	c ---[ 782]---> BDD-cost:    7
21.43	c ---[ 780]---> BDD-cost:    7
21.43	c ---[ 778]---> BDD-cost:    7
21.43	c ---[ 776]---> BDD-cost:    7
21.43	c ---[ 774]---> BDD-cost:    7
21.43	c ---[ 772]---> BDD-cost:    7
21.43	c ---[ 770]---> BDD-cost:    7
21.43	c ---[ 768]---> BDD-cost:    7
21.43	c ---[ 766]---> BDD-cost:    7
21.43	c ---[ 764]---> BDD-cost:    7
21.43	c ---[ 762]---> BDD-cost:    7
21.43	c ---[ 760]---> BDD-cost:    7
21.43	c ---[ 758]---> BDD-cost:    7
21.43	c ---[ 756]---> BDD-cost:    7
21.43	c ---[ 754]---> BDD-cost:    7
21.43	c ---[ 752]---> BDD-cost:    7
21.43	c ---[ 750]---> BDD-cost:    7
21.43	c ---[ 748]---> BDD-cost:    7
21.43	c ---[ 746]---> BDD-cost:    7
21.43	c ---[ 744]---> BDD-cost:    7
21.43	c ---[ 742]---> BDD-cost:    7
21.43	c ---[ 740]---> BDD-cost:    7
21.43	c ---[ 738]---> BDD-cost:    7
21.43	c ---[ 736]---> BDD-cost:    7
21.43	c ---[ 734]---> BDD-cost:    7
21.43	c ---[ 732]---> BDD-cost:    7
21.43	c ---[ 730]---> BDD-cost:    7
21.43	c ---[ 728]---> BDD-cost:    7
21.43	c ---[ 726]---> BDD-cost:    7
21.43	c ---[ 724]---> BDD-cost:    7
21.43	c ---[ 722]---> BDD-cost:    7
21.43	c ---[ 720]---> BDD-cost:    7
21.43	c ---[ 718]---> BDD-cost:    7
21.43	c ---[ 716]---> BDD-cost:    7
21.43	c ---[ 714]---> BDD-cost:    7
21.43	c ---[ 712]---> BDD-cost:    7
21.43	c ---[ 710]---> BDD-cost:    7
21.43	c ---[ 708]---> BDD-cost:    7
21.43	c ---[ 706]---> BDD-cost:    7
21.43	c ---[ 704]---> BDD-cost:    7
21.43	c ---[ 702]---> BDD-cost:    7
21.43	c ---[ 700]---> BDD-cost:    7
21.43	c ---[ 698]---> BDD-cost:    7
21.43	c ---[ 696]---> BDD-cost:    7
21.44	c ---[ 694]---> BDD-cost:    7
21.44	c ---[ 692]---> BDD-cost:    7
21.44	c ---[ 690]---> BDD-cost:    7
21.44	c ---[ 688]---> BDD-cost:    7
21.44	c ---[ 686]---> BDD-cost:    7
21.44	c ---[ 684]---> BDD-cost:    7
21.44	c ---[ 682]---> BDD-cost:    7
21.44	c ---[ 680]---> BDD-cost:    7
21.44	c ---[ 678]---> BDD-cost:    7
21.44	c ---[ 676]---> BDD-cost:    7
21.44	c ---[ 674]---> BDD-cost:    7
21.44	c ---[ 672]---> BDD-cost:    7
21.44	c ---[ 670]---> BDD-cost:    7
21.44	c ---[ 668]---> BDD-cost:    7
21.44	c ---[ 666]---> BDD-cost:    7
21.44	c ---[ 664]---> BDD-cost:    7
21.44	c ---[ 662]---> BDD-cost:    7
21.44	c ---[ 660]---> BDD-cost:    7
21.44	c ---[ 658]---> BDD-cost:    7
21.44	c ---[ 656]---> BDD-cost:    7
21.44	c ---[ 654]---> BDD-cost:    7
21.44	c ---[ 652]---> BDD-cost:    7
21.44	c ---[ 650]---> BDD-cost:    7
21.44	c ---[ 648]---> BDD-cost:    7
21.44	c ---[ 646]---> BDD-cost:    7
21.44	c ---[ 644]---> BDD-cost:    7
21.44	c ---[ 642]---> BDD-cost:    7
21.44	c ---[ 640]---> BDD-cost:    7
21.44	c ---[ 638]---> BDD-cost:    7
21.44	c ---[ 636]---> BDD-cost:    7
21.44	c ---[ 634]---> BDD-cost:    7
21.44	c ---[ 632]---> BDD-cost:    7
21.44	c ---[ 630]---> BDD-cost:    7
21.44	c ---[ 628]---> BDD-cost:    7
21.44	c ---[ 626]---> BDD-cost:    7
21.44	c ---[ 624]---> BDD-cost:    7
21.44	c ---[ 622]---> BDD-cost:    7
21.44	c ---[ 620]---> BDD-cost:    7
21.44	c ---[ 618]---> BDD-cost:    7
21.44	c ---[ 616]---> BDD-cost:    7
21.44	c ---[ 614]---> BDD-cost:    7
21.44	c ---[ 612]---> BDD-cost:    7
21.44	c ---[ 610]---> BDD-cost:    7
21.44	c ---[ 608]---> BDD-cost:    7
21.44	c ---[ 606]---> BDD-cost:    7
21.44	c ---[ 604]---> BDD-cost:    7
21.44	c ---[ 602]---> BDD-cost:    7
21.44	c ---[ 600]---> BDD-cost:    7
21.44	c ---[ 598]---> BDD-cost:    7
21.44	c ---[ 596]---> BDD-cost:    7
21.44	c ---[ 594]---> BDD-cost:    7
21.44	c ---[ 592]---> BDD-cost:    7
21.44	c ---[ 590]---> BDD-cost:    7
21.44	c ---[ 588]---> BDD-cost:    7
21.44	c ---[ 586]---> BDD-cost:    7
21.44	c ---[ 584]---> BDD-cost:    7
21.44	c ---[ 582]---> BDD-cost:    7
21.44	c ---[ 580]---> BDD-cost:    7
21.44	c ---[ 578]---> BDD-cost:    7
21.44	c ---[ 576]---> BDD-cost:    7
21.44	c ---[ 574]---> BDD-cost:    7
21.44	c ---[ 572]---> BDD-cost:    7
21.44	c ---[ 570]---> BDD-cost:    7
21.44	c ---[ 568]---> BDD-cost:    7
21.44	c ---[ 566]---> BDD-cost:    7
21.44	c ---[ 564]---> BDD-cost:    7
21.44	c ---[ 562]---> BDD-cost:    7
21.44	c ---[ 560]---> BDD-cost:    7
21.44	c ---[ 558]---> BDD-cost:    7
21.44	c ---[ 556]---> BDD-cost:    7
21.44	c ---[ 554]---> BDD-cost:    7
21.44	c ---[ 552]---> BDD-cost:    7
21.44	c ---[ 550]---> BDD-cost:    7
21.44	c ---[ 548]---> BDD-cost:    7
21.44	c ---[ 546]---> BDD-cost:    7
21.44	c ---[ 544]---> BDD-cost:    7
21.44	c ---[ 542]---> BDD-cost:    7
21.44	c ---[ 540]---> BDD-cost:    7
21.44	c ---[ 538]---> BDD-cost:    7
21.44	c ---[ 536]---> BDD-cost:    7
21.44	c ---[ 534]---> BDD-cost:    7
21.44	c ---[ 532]---> BDD-cost:    7
21.44	c ---[ 530]---> BDD-cost:    7
21.44	c ---[ 528]---> BDD-cost:    7
21.44	c ---[ 526]---> BDD-cost:    7
21.44	c ---[ 524]---> BDD-cost:    7
21.44	c ---[ 522]---> BDD-cost:    7
21.44	c ---[ 520]---> BDD-cost:    7
21.44	c ---[ 518]---> BDD-cost:    7
21.44	c ---[ 516]---> BDD-cost:    7
21.44	c ---[ 514]---> BDD-cost:    7
21.44	c ---[ 512]---> BDD-cost:    7
21.44	c ---[ 510]---> BDD-cost:    7
21.44	c ---[ 508]---> BDD-cost:    7
21.44	c ---[ 506]---> BDD-cost:    7
21.44	c ---[ 504]---> BDD-cost:    7
21.44	c ---[ 502]---> BDD-cost:    7
21.44	c ---[ 500]---> BDD-cost:    7
21.44	c ---[ 498]---> BDD-cost:    7
21.44	c ---[ 496]---> BDD-cost:    7
21.44	c ---[ 494]---> BDD-cost:    7
21.44	c ---[ 492]---> BDD-cost:    7
21.44	c ---[ 490]---> BDD-cost:    7
21.44	c ---[ 488]---> BDD-cost:    7
21.44	c ---[ 486]---> BDD-cost:    7
21.44	c ---[ 484]---> BDD-cost:    7
21.44	c ---[ 482]---> BDD-cost:    7
21.44	c ---[ 480]---> BDD-cost:    7
21.44	c ---[ 478]---> BDD-cost:    7
21.44	c ---[ 476]---> BDD-cost:    7
21.44	c ---[ 474]---> BDD-cost:    7
21.44	c ---[ 472]---> BDD-cost:    7
21.44	c ---[ 470]---> BDD-cost:    7
21.44	c ---[ 468]---> BDD-cost:    7
21.44	c ---[ 466]---> BDD-cost:    7
21.44	c ---[ 464]---> BDD-cost:    7
21.44	c ---[ 462]---> BDD-cost:    7
21.44	c ---[ 460]---> BDD-cost:    7
21.44	c ---[ 458]---> BDD-cost:    7
21.44	c ---[ 456]---> BDD-cost:    7
21.44	c ---[ 454]---> BDD-cost:    7
21.44	c ---[ 452]---> BDD-cost:    7
21.44	c ---[ 450]---> BDD-cost:    7
21.44	c ---[ 448]---> BDD-cost:    7
21.44	c ---[ 446]---> BDD-cost:    7
21.44	c ---[ 444]---> BDD-cost:    7
21.44	c ---[ 442]---> BDD-cost:    7
21.44	c ---[ 440]---> BDD-cost:    7
21.44	c ---[ 438]---> BDD-cost:    7
21.44	c ---[ 436]---> BDD-cost:    7
21.44	c ---[ 434]---> BDD-cost:    7
21.44	c ---[ 432]---> BDD-cost:    7
21.44	c ---[ 430]---> BDD-cost:    7
21.44	c ---[ 428]---> BDD-cost:    7
21.44	c ---[ 426]---> BDD-cost:    7
21.44	c ---[ 424]---> BDD-cost:    7
21.44	c ---[ 422]---> BDD-cost:    7
21.44	c ---[ 420]---> BDD-cost:    7
21.44	c ---[ 418]---> BDD-cost:    7
21.45	c ---[ 416]---> BDD-cost:    7
21.45	c ---[ 414]---> BDD-cost:    7
21.45	c ---[ 412]---> BDD-cost:    7
21.45	c ---[ 410]---> BDD-cost:    7
21.45	c ---[ 408]---> BDD-cost:    7
21.45	c ---[ 406]---> BDD-cost:    7
21.45	c ---[ 404]---> BDD-cost:    7
21.45	c ---[ 402]---> BDD-cost:    7
21.45	c ---[ 400]---> BDD-cost:    7
21.45	c ---[ 398]---> BDD-cost:    7
21.45	c ---[ 396]---> BDD-cost:    7
21.45	c ---[ 394]---> BDD-cost:    7
21.45	c ---[ 392]---> BDD-cost:    7
21.45	c ---[ 390]---> BDD-cost:    7
21.45	c ---[ 388]---> BDD-cost:    7
21.45	c ---[ 386]---> BDD-cost:    7
21.45	c ---[ 384]---> BDD-cost:    7
21.45	c ---[ 382]---> BDD-cost:    7
21.45	c ---[ 380]---> BDD-cost:    7
21.45	c ---[ 378]---> BDD-cost:    7
21.45	c ---[ 376]---> BDD-cost:    7
21.45	c ---[ 374]---> BDD-cost:    7
21.45	c ---[ 372]---> BDD-cost:    7
21.45	c ---[ 370]---> BDD-cost:    7
21.45	c ---[ 368]---> BDD-cost:    7
21.45	c ---[ 366]---> BDD-cost:    7
21.45	c ---[ 364]---> BDD-cost:    7
21.45	c ---[ 362]---> BDD-cost:    7
21.45	c ---[ 360]---> BDD-cost:    7
21.45	c ---[ 358]---> BDD-cost:    7
21.45	c ---[ 356]---> BDD-cost:    7
21.45	c ---[ 354]---> BDD-cost:    7
21.45	c ---[ 352]---> BDD-cost:    7
21.45	c ---[ 350]---> BDD-cost:    7
21.45	c ---[ 348]---> BDD-cost:    7
21.45	c ---[ 346]---> BDD-cost:    7
21.45	c ---[ 344]---> BDD-cost:    7
21.45	c ---[ 342]---> BDD-cost:    7
21.45	c ---[ 340]---> BDD-cost:    7
21.45	c ---[ 338]---> BDD-cost:    7
21.45	c ---[ 336]---> BDD-cost:    7
21.45	c ---[ 334]---> BDD-cost:    7
21.45	c ---[ 332]---> BDD-cost:    7
21.45	c ---[ 330]---> BDD-cost:    7
21.45	c ---[ 328]---> BDD-cost:    7
21.45	c ---[ 326]---> BDD-cost:    7
21.45	c ---[ 324]---> BDD-cost:    7
21.45	c ---[ 322]---> BDD-cost:    7
21.45	c ---[ 320]---> BDD-cost:    7
21.45	c ---[ 318]---> BDD-cost:    7
21.45	c ---[ 316]---> BDD-cost:    7
21.45	c ---[ 314]---> BDD-cost:    7
21.45	c ---[ 312]---> BDD-cost:    7
21.45	c ---[ 310]---> BDD-cost:    7
21.45	c ---[ 308]---> BDD-cost:    7
21.45	c ---[ 306]---> BDD-cost:    7
21.45	c ---[ 304]---> BDD-cost:    7
21.45	c ---[ 302]---> BDD-cost:    7
21.45	c ---[ 300]---> BDD-cost:    7
21.45	c ---[ 298]---> BDD-cost:    7
21.45	c ---[ 296]---> BDD-cost:    7
21.45	c ---[ 294]---> BDD-cost:    7
21.45	c ---[ 292]---> BDD-cost:    7
21.45	c ---[ 290]---> BDD-cost:    7
21.45	c ---[ 288]---> BDD-cost:    7
21.45	c ---[ 286]---> BDD-cost:    7
21.45	c ---[ 284]---> BDD-cost:    7
21.45	c ---[ 282]---> BDD-cost:    7
21.45	c ---[ 280]---> BDD-cost:    7
21.45	c ---[ 278]---> BDD-cost:    7
21.45	c ---[ 276]---> BDD-cost:    7
21.45	c ---[ 274]---> BDD-cost:    7
21.45	c ---[ 272]---> BDD-cost:    7
21.45	c ---[ 270]---> BDD-cost:    7
21.45	c ---[ 268]---> BDD-cost:    7
21.45	c ---[ 266]---> BDD-cost:    7
21.45	c ---[ 264]---> BDD-cost:    7
21.45	c ---[ 262]---> BDD-cost:    7
21.45	c ---[ 260]---> BDD-cost:    7
21.45	c ---[ 258]---> BDD-cost:    7
21.45	c ---[ 256]---> BDD-cost:    7
21.45	c ---[ 254]---> BDD-cost:    7
21.45	c ---[ 252]---> BDD-cost:    7
21.45	c ---[ 250]---> BDD-cost:    7
21.45	c ---[ 248]---> BDD-cost:    7
21.45	c ---[ 246]---> BDD-cost:    7
21.45	c ---[ 244]---> BDD-cost:    7
21.45	c ---[ 242]---> BDD-cost:    7
21.45	c ---[ 240]---> BDD-cost:    7
21.45	c ---[ 238]---> BDD-cost:    7
21.45	c ---[ 236]---> BDD-cost:    7
21.45	c ---[ 234]---> BDD-cost:    7
21.45	c ---[ 232]---> BDD-cost:    7
21.45	c ---[ 230]---> BDD-cost:    7
21.45	c ---[ 228]---> BDD-cost:    7
21.45	c ---[ 226]---> BDD-cost:    7
21.45	c ---[ 224]---> BDD-cost:    7
21.45	c ---[ 222]---> BDD-cost:    7
21.45	c ---[ 220]---> BDD-cost:    7
21.45	c ---[ 218]---> BDD-cost:    7
21.45	c ---[ 216]---> BDD-cost:    7
21.45	c ---[ 214]---> BDD-cost:    7
21.45	c ---[ 212]---> BDD-cost:    7
21.45	c ---[ 210]---> BDD-cost:    7
21.45	c ---[ 208]---> BDD-cost:    7
21.45	c ---[ 206]---> BDD-cost:    7
21.45	c ---[ 204]---> BDD-cost:    7
21.45	c ---[ 202]---> BDD-cost:    7
21.45	c ---[ 200]---> BDD-cost:    7
21.45	c ---[ 198]---> BDD-cost:    7
21.45	c ---[ 196]---> BDD-cost:    7
21.45	c ---[ 194]---> BDD-cost:    7
21.45	c ---[ 192]---> BDD-cost:    7
21.45	c ---[ 190]---> BDD-cost:    7
21.45	c ---[ 188]---> BDD-cost:    7
21.45	c ---[ 186]---> BDD-cost:    7
21.45	c ---[ 184]---> BDD-cost:    7
21.45	c ---[ 182]---> BDD-cost:    7
21.45	c ---[ 180]---> BDD-cost:    7
21.45	c ---[ 178]---> BDD-cost:    7
21.45	c ---[ 176]---> BDD-cost:    7
21.45	c ---[ 174]---> BDD-cost:    7
21.45	c ---[ 172]---> BDD-cost:    7
21.45	c ---[ 170]---> BDD-cost:    7
21.45	c ---[ 168]---> BDD-cost:    7
21.45	c ---[ 166]---> BDD-cost:    7
21.45	c ---[ 164]---> BDD-cost:    7
21.45	c ---[ 162]---> BDD-cost:    7
21.45	c ---[ 160]---> BDD-cost:    7
21.45	c ---[ 158]---> BDD-cost:    7
21.45	c ---[ 156]---> BDD-cost:    7
21.45	c ---[ 154]---> BDD-cost:    7
21.45	c ---[ 152]---> BDD-cost:    7
21.45	c ---[ 150]---> BDD-cost:    7
21.45	c ---[ 148]---> BDD-cost:    7
21.45	c ---[ 146]---> BDD-cost:    7
21.45	c ---[ 144]---> BDD-cost:    7
21.45	c ---[ 142]---> BDD-cost:    7
21.45	c ---[ 140]---> BDD-cost:    7
21.46	c ---[ 138]---> BDD-cost:    7
21.46	c ---[ 136]---> BDD-cost:    7
21.46	c ---[ 134]---> BDD-cost:    7
21.46	c ---[ 132]---> BDD-cost:    7
21.46	c ---[ 130]---> BDD-cost:    7
21.46	c ---[ 128]---> BDD-cost:    7
21.46	c ---[ 126]---> BDD-cost:    7
21.46	c ---[ 124]---> BDD-cost:    7
21.46	c ---[ 122]---> BDD-cost:    7
21.46	c ---[ 120]---> BDD-cost:    7
21.46	c ---[ 118]---> BDD-cost:    7
21.46	c ---[ 116]---> BDD-cost:    7
21.46	c ---[ 114]---> BDD-cost:    7
21.46	c ---[ 112]---> BDD-cost:    7
21.46	c ---[ 110]---> BDD-cost:    7
21.46	c ---[ 108]---> BDD-cost:    7
21.46	c ---[ 106]---> BDD-cost:    7
21.46	c ---[ 104]---> BDD-cost:    7
21.46	c ---[ 102]---> BDD-cost:    7
21.46	c ---[ 100]---> BDD-cost:    7
21.46	c ---[  98]---> BDD-cost:    7
21.46	c ---[  96]---> BDD-cost:    7
21.46	c ---[  94]---> BDD-cost:    7
21.46	c ---[  92]---> BDD-cost:    7
21.46	c ---[  90]---> BDD-cost:    7
21.46	c ---[  88]---> BDD-cost:    7
21.46	c ---[  86]---> BDD-cost:    7
21.46	c ---[  84]---> BDD-cost:    7
21.46	c ---[  82]---> BDD-cost:    7
21.46	c ---[  80]---> BDD-cost:    7
21.46	c ---[  78]---> BDD-cost:    7
21.46	c ---[  76]---> BDD-cost:    7
21.46	c ---[  74]---> BDD-cost:    7
21.46	c ---[  72]---> BDD-cost:    7
21.46	c ---[  70]---> BDD-cost:    7
21.46	c ---[  68]---> BDD-cost:    7
21.46	c ---[  66]---> BDD-cost:    7
21.46	c ---[  64]---> BDD-cost:    7
21.46	c ---[  62]---> BDD-cost:    7
21.46	c ---[  60]---> BDD-cost:    7
21.46	c ---[  58]---> BDD-cost:    7
21.46	c ---[  56]---> BDD-cost:    7
21.46	c ---[  54]---> BDD-cost:    7
21.46	c ---[  52]---> BDD-cost:    7
21.46	c ---[  50]---> BDD-cost:    7
21.46	c ---[  48]---> BDD-cost:    7
21.46	c ---[  46]---> BDD-cost:    7
21.46	c ---[  44]---> BDD-cost:    7
21.46	c ---[  42]---> BDD-cost:    7
21.46	c ---[  40]---> BDD-cost:    7
21.46	c ---[  38]---> BDD-cost:    7
21.46	c ---[  36]---> BDD-cost:    7
21.46	c ---[  34]---> BDD-cost:    7
21.46	c ---[  32]---> BDD-cost:    7
21.46	c ---[  30]---> BDD-cost:    7
21.46	c ---[  28]---> BDD-cost:    7
21.46	c ---[  26]---> BDD-cost:    7
21.46	c ---[  24]---> BDD-cost:    7
21.46	c ---[  22]---> BDD-cost:    7
21.46	c ---[  20]---> BDD-cost:    7
21.46	c ---[  18]---> BDD-cost:    7
21.46	c ---[  16]---> BDD-cost:    7
21.46	c ---[  14]---> BDD-cost:    7
21.46	c ---[  12]---> BDD-cost:    7
21.46	c ---[  10]---> BDD-cost:    7
21.46	c ---[   8]---> BDD-cost:    7
21.46	c ---[   6]---> BDD-cost:    7
21.46	c ---[   4]---> BDD-cost:    7
21.46	c ---[   2]---> BDD-cost:    7
21.46	c ---[   0]---> BDD-cost:    7
21.49	c ==================================[MINISAT+]==================================
21.49	c | Conflicts | Original         | Learnt                           | Progress |
21.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.49	c ==============================================================================
21.49	c |         0 |  479625  1901250 |  159875       0        0     nan |  0.000 % |
21.50	c |       100 |  479625  1901250 |  175862     100     2133    21.3 |  8.333 % |
21.67	c |       251 |  479625  1901250 |  193448     251    17997    71.7 |  8.333 % |
21.91	c |       476 |  479625  1901250 |  212793     476    41695    87.6 |  8.333 % |
22.29	c |       813 |  479625  1901250 |  234072     813    80321    98.8 |  8.333 % |
22.72	c |      1319 |  479625  1901250 |  257480    1319   123538    93.7 |  8.333 % |
23.59	c |      2078 |  479625  1901250 |  283228    2078   223694   107.6 |  8.333 % |
24.73	c |      3217 |  479625  1901250 |  311551    3217   383736   119.3 |  8.333 % |
26.59	c |      4928 |  479625  1901250 |  342706    4928   597039   121.2 |  8.333 % |
29.35	c |      7490 |  479625  1901250 |  376976    7490   985450   131.6 |  8.333 % |
33.91	c |     11334 |  479625  1901250 |  414674   11334  1578030   139.2 |  8.333 % |
39.50	c |     17100 |  479625  1901250 |  456142   17100  2501880   146.3 |  8.333 % |
48.41	c |     25749 |  479625  1901250 |  501756   25749  3892350   151.2 |  8.333 % |
62.99	c |     38724 |  479625  1901250 |  551931   38724  5730280   148.0 |  8.333 % |
87.54	c |     58185 |  479625  1901250 |  607125   58185  8399827   144.4 |  8.333 % |
134.26	c |     87378 |  479625  1901250 |  667837   87378 12370172   141.6 |  8.333 % |
209.26	c |    131170 |  479625  1901250 |  734621  131170 19230828   146.6 |  8.333 % |
343.59	c |    196855 |  479625  1901250 |  808083  196855 29696237   150.9 |  8.333 % |
599.13	c |    295381 |  479625  1901250 |  888891  295381 48107812   162.9 |  8.333 % |
1143.60	c |    443171 |  479625  1901250 |  977780  443171 71021645   160.3 |  8.333 % |
1801.16	c 
1801.16	c *** TERMINATED ***
1801.16	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-34741-1149225723 -o ROOT/results/node72/solver-34741-1149225723 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node72/34741-1149225723/instance-34741-1149225723.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1559912/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=1048 CPUtime=0
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 103 0 0 0 0 0 0 0 19 0 1 0 188236760 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 262 88 74 215 0 44 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1476464/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=84904 CPUtime=9.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 21003 0 0 0 988 10 0 0 25 0 1 0 188236760 86941696 20988 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 21226 20988 74 215 0 21008 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84904

[startup+20.0095 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1397432/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=163552 CPUtime=19.99
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 40729 0 0 0 1976 23 0 0 25 0 1 0 188236760 167477248 40714 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 40888 40714 74 215 0 40670 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 163552

[startup+30.0155 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370552/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=191856 CPUtime=29.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47374 0 0 0 2923 75 0 0 25 0 1 0 188236760 196460544 47359 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580774 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 47964 47359 106 215 0 47746 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 191856

[startup+40.0214 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370488/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=191856 CPUtime=39.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47391 0 0 0 3923 75 0 0 25 0 1 0 188236760 196460544 47376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 47964 47376 106 215 0 47746 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 191856

[startup+50.0273 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370488/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192020 CPUtime=49.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47428 0 0 0 4923 75 0 0 25 0 1 0 188236760 196628480 47413 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134587949 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48005 47413 106 215 0 47787 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 192020

[startup+60.0332 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370424/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192020 CPUtime=59.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47436 0 0 0 5923 75 0 0 25 0 1 0 188236760 196628480 47421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48005 47421 106 215 0 47787 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 192020

[startup+70.0401 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370360/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192100 CPUtime=69.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47444 0 0 0 6923 75 0 0 25 0 1 0 188236760 196710400 47429 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48025 47429 106 215 0 47807 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 192100

[startup+80.046 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370360/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192100 CPUtime=79.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47452 0 0 0 7923 75 0 0 25 0 1 0 188236760 196710400 47437 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48025 47437 106 215 0 47807 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 192100

[startup+90.0519 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370360/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192100 CPUtime=89.97
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47459 0 0 0 8922 75 0 0 25 0 1 0 188236760 196710400 47444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576660 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48025 47444 106 215 0 47807 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 192100

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370296/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192220 CPUtime=99.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47466 0 0 0 9923 75 0 0 25 0 1 0 188236760 196833280 47451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48055 47451 106 215 0 47837 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 192220

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370296/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192220 CPUtime=109.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47473 0 0 0 10923 75 0 0 25 0 1 0 188236760 196833280 47458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48055 47458 106 215 0 47837 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 192220

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370232/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192220 CPUtime=119.98
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47478 0 0 0 11923 75 0 0 25 0 1 0 188236760 196833280 47463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48055 47463 106 215 0 47837 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 192220

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370232/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192220 CPUtime=129.99
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47484 0 0 0 12924 75 0 0 25 0 1 0 188236760 196833280 47469 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48055 47469 106 215 0 47837 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 192220

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370168/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192220 CPUtime=139.99
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47490 0 0 0 13924 75 0 0 25 0 1 0 188236760 196833280 47475 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48055 47475 106 215 0 47837 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 192220

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370168/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192400 CPUtime=149.99
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47497 0 0 0 14924 75 0 0 25 0 1 0 188236760 197017600 47482 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48100 47482 106 215 0 47882 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 192400

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370104/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192400 CPUtime=159.99
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47503 0 0 0 15924 75 0 0 25 0 1 0 188236760 197017600 47488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48100 47488 106 215 0 47882 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 192400

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370104/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192400 CPUtime=170
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47509 0 0 0 16925 75 0 0 25 0 1 0 188236760 197017600 47494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48100 47494 106 215 0 47882 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 192400

[startup+180.104 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370040/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192400 CPUtime=180
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47514 0 0 0 17925 75 0 0 25 0 1 0 188236760 197017600 47499 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48100 47499 106 215 0 47882 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 192400

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1370040/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192400 CPUtime=190
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47519 0 0 0 18925 75 0 0 25 0 1 0 188236760 197017600 47504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48100 47504 106 215 0 47882 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 192400

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1369976/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=192564 CPUtime=200.01
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 47534 0 0 0 19926 75 0 0 25 0 1 0 188236760 197185536 47519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 48141 47519 106 215 0 47923 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 192564

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12537
/proc/meminfo: memFree=1369912/2055920 swapFree=4182504/4192956

################
# More data... #
################

[pid=12537] ppid=12535 vsize=572296 CPUtime=1781.58
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142302 0 0 0 177984 174 0 0 25 0 1 0 188236760 586031104 142287 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143074 142287 106 215 0 142856 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 572296

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=989760/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=572556 CPUtime=1782.58
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142364 0 0 0 178084 174 0 0 25 0 1 0 188236760 586297344 142349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143139 142349 106 215 0 142921 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 572556

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=989440/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=572820 CPUtime=1783.58
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142437 0 0 0 178184 174 0 0 25 0 1 0 188236760 586567680 142422 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143205 142422 106 215 0 142987 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 572820

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=989184/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=573084 CPUtime=1784.59
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142495 0 0 0 178285 174 0 0 25 0 1 0 188236760 586838016 142480 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143271 142480 106 215 0 143053 0
Current children cumulated CPU time (s) 1784.59
Current children cumulated vsize (Kb) 573084

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=988928/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=573344 CPUtime=1785.59
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142567 0 0 0 178385 174 0 0 25 0 1 0 188236760 587104256 142552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143336 142552 106 215 0 143118 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 573344

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=988608/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=573604 CPUtime=1786.59
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142641 0 0 0 178485 174 0 0 25 0 1 0 188236760 587370496 142626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143401 142626 106 215 0 143183 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 573604

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=988352/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=573868 CPUtime=1787.61
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142711 0 0 0 178586 175 0 0 25 0 1 0 188236760 587640832 142696 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143467 142696 106 215 0 143249 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 573868

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=987968/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=574260 CPUtime=1788.61
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142802 0 0 0 178686 175 0 0 25 0 1 0 188236760 588042240 142787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143565 142787 106 215 0 143347 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 574260

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=987648/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=574648 CPUtime=1789.61
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142884 0 0 0 178786 175 0 0 25 0 1 0 188236760 588439552 142869 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143662 142869 106 215 0 143444 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (Kb) 574648

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=987392/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=574912 CPUtime=1790.62
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 142953 0 0 0 178887 175 0 0 25 0 1 0 188236760 588709888 142938 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143728 142938 106 215 0 143510 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 574912

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=987072/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=575168 CPUtime=1791.62
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143030 0 0 0 178987 175 0 0 25 0 1 0 188236760 588972032 143015 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143792 143015 106 215 0 143574 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (Kb) 575168

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=986816/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=575432 CPUtime=1792.62
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143093 0 0 0 179087 175 0 0 25 0 1 0 188236760 589242368 143078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143858 143078 106 215 0 143640 0
Current children cumulated CPU time (s) 1792.62
Current children cumulated vsize (Kb) 575432

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=986624/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=575564 CPUtime=1793.63
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143136 0 0 0 179188 175 0 0 25 0 1 0 188236760 589377536 143121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574494 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143891 143121 106 215 0 143673 0
Current children cumulated CPU time (s) 1793.63
Current children cumulated vsize (Kb) 575564

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=986432/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=575824 CPUtime=1794.63
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143184 0 0 0 179288 175 0 0 25 0 1 0 188236760 589643776 143169 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143956 143169 106 215 0 143738 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (Kb) 575824

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=986240/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=575956 CPUtime=1795.64
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143230 0 0 0 179389 175 0 0 25 0 1 0 188236760 589778944 143215 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 143989 143215 106 215 0 143771 0
Current children cumulated CPU time (s) 1795.64
Current children cumulated vsize (Kb) 575956

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=986112/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=576088 CPUtime=1796.64
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143270 0 0 0 179489 175 0 0 25 0 1 0 188236760 589914112 143255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144022 143255 106 215 0 143804 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 576088

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=985920/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=576352 CPUtime=1797.64
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143319 0 0 0 179589 175 0 0 25 0 1 0 188236760 590184448 143304 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144088 143304 106 215 0 143870 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 576352

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=985664/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=576484 CPUtime=1798.65
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143372 0 0 0 179690 175 0 0 25 0 1 0 188236760 590319616 143357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144121 143357 106 215 0 143903 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 576484

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=985472/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=576748 CPUtime=1799.65
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143421 0 0 0 179790 175 0 0 25 0 1 0 188236760 590589952 143406 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144187 143406 106 215 0 143969 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (Kb) 576748

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=985280/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=577012 CPUtime=1800.66
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143477 0 0 0 179891 175 0 0 25 0 1 0 188236760 590860288 143462 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144253 143462 106 215 0 144035 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 577012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12539
/proc/meminfo: memFree=985280/2055920 swapFree=4182504/4192956
[pid=12537] ppid=12535 vsize=577012 CPUtime=1800.66
/proc/12537/stat : 12537 (minisat+) R 12535 12537 12492 0 -1 4194304 143477 0 0 0 179891 175 0 0 25 0 1 0 188236760 590860288 143462 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/12537/statm: 144253 143462 106 215 0 144035 0
Current children cumulated CPU time (s) 1800.66
Current children cumulated vsize (Kb) 577012

Sending SIGTERM to -12537
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.26
CPU time (s): 1800.76
CPU user time (s): 1798.92
CPU system time (s): 1.84872
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (Kb): 577012

Launcher Data (download as text)

Begin job on node72 on Fri Jun  2 05:22:03 UTC 2006


FILE ID= 34741-1149225723

PBS_JOBID= 295819

BENCH NAME= ROOT/tmp/node72/34741-1149225723/instance-34741-1149225723.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node72/34741-1149225723/instance-34741-1149225723.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-34741-1149225723 -o ROOT/results/node72/solver-34741-1149225723 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node72/34741-1149225723/instance-34741-1149225723.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  84dfc4b706a5e82746c96ff285501708

RANDOM SEED= 726807648


/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.227
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.227
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:       1560120 kB
Buffers:         36100 kB
Cached:         382596 kB
SwapCached:       2428 kB
Active:         122164 kB
Inactive:       305468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1560120 kB
SwapTotal:     4192956 kB
SwapFree:      4182504 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          16020 kB
Slab:            54228 kB
Committed_AS:   218248 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node72 on Fri Jun  2 05:52:05 UTC 2006