Trace number 34847

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.57 1801.21

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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...
5.31	c Converting 187106 PB-constraints to clauses...
5.34	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
5.34	c   -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
5.36	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
5.79	c ---[187096]---> BDD-cost:    1
5.79	c ---[187091]---> BDD-cost:    1
5.79	c ---[187086]---> BDD-cost:    1
5.79	c ---[187081]---> BDD-cost:    1
5.79	c ---[187076]---> BDD-cost:    1
5.79	c ---[187071]---> BDD-cost:    1
5.79	c ---[187063]---> BDD-cost:    1
5.79	c ---[187058]---> BDD-cost:    1
5.79	c ---[187053]---> BDD-cost:    1
5.79	c ---[187042]---> BDD-cost:    1
5.79	c ---[187037]---> BDD-cost:    1
5.79	c ---[187023]---> BDD-cost:    1
5.79	c ---[187018]---> BDD-cost:    1
5.79	c ---[187013]---> BDD-cost:    1
5.79	c ---[186978]---> BDD-cost:    1
5.79	c ---[186943]---> BDD-cost:    1
5.79	c ---[186935]---> BDD-cost:    1
5.79	c ---[186846]---> BDD-cost:    1
5.79	c ---[186832]---> BDD-cost:    1
5.79	c ---[186818]---> BDD-cost:    1
5.79	c ---[186768]---> BDD-cost:    1
5.79	c ---[186745]---> BDD-cost:    1
5.79	c ---[186740]---> BDD-cost:    1
5.79	c ---[186735]---> BDD-cost:    1
5.79	c ---[186730]---> BDD-cost:    1
5.79	c ---[186650]---> BDD-cost:    1
5.79	c ---[186582]---> BDD-cost:    1
5.79	c ---[186574]---> BDD-cost:    1
5.79	c ---[186371]---> BDD-cost:    1
5.79	c ---[186351]---> BDD-cost:    1
5.79	c ---[186283]---> BDD-cost:    1
5.79	c ---[186263]---> BDD-cost:    1
5.79	c ---[186243]---> BDD-cost:    1
5.79	c ---[186178]---> BDD-cost:    1
5.79	c ---[186101]---> BDD-cost:    1
5.79	c ---[186063]---> BDD-cost:    1
5.79	c ---[186058]---> BDD-cost:    1
5.79	c ---[186053]---> BDD-cost:    1
5.79	c ---[186048]---> BDD-cost:    1
5.79	c ---[186043]---> BDD-cost:    1
5.79	c ---[185897]---> BDD-cost:    1
5.79	c ---[185886]---> BDD-cost:    1
5.79	c ---[185767]---> BDD-cost:    1
5.79	c ---[185723]---> BDD-cost:    1
5.79	c ---[185376]---> BDD-cost:    1
5.79	c ---[185350]---> BDD-cost:    1
5.79	c ---[185222]---> BDD-cost:    1
5.79	c ---[185196]---> BDD-cost:    1
5.79	c ---[185110]---> BDD-cost:    1
5.79	c ---[185084]---> BDD-cost:    1
5.79	c ---[185058]---> BDD-cost:    1
5.79	c ---[184993]---> BDD-cost:    1
5.79	c ---[184856]---> BDD-cost:    1
5.79	c ---[184719]---> BDD-cost:    1
5.79	c ---[184228]---> BDD-cost:    1
5.79	c ---[184196]---> BDD-cost:    1
5.79	c ---[183990]---> BDD-cost:    1
5.79	c ---[183958]---> BDD-cost:    1
5.79	c ---[183803]---> BDD-cost:    1
5.79	c ---[183771]---> BDD-cost:    1
5.79	c ---[183667]---> BDD-cost:    1
5.79	c ---[183635]---> BDD-cost:    1
5.79	c ---[183603]---> BDD-cost:    1
5.79	c ---[183508]---> BDD-cost:    1
5.79	c ---[183482]---> BDD-cost:    1
5.79	c ---[183174]---> BDD-cost:    1
5.79	c ---[182812]---> BDD-cost:    1
5.79	c ---[182795]---> BDD-cost:    1
5.79	c ---[182790]---> BDD-cost:    1
5.79	c ---[182785]---> BDD-cost:    1
5.79	c ---[182780]---> BDD-cost:    1
5.79	c ---[182775]---> BDD-cost:    1
5.79	c ---[182755]---> BDD-cost:    1
5.79	c ---[182621]---> BDD-cost:    1
5.79	c ---[182616]---> BDD-cost:    1
5.79	c ---[182614]---> BDD-cost:    1
5.79	c ---[182612]---> BDD-cost:    1
5.79	c ---[182610]---> BDD-cost:    1
5.79	c ---[182608]---> BDD-cost:    1
5.79	c ---[182606]---> BDD-cost:    1
5.79	c ---[182604]---> BDD-cost:    1
5.79	c ---[182602]---> BDD-cost:    1
5.79	c ---[181988]---> BDD-cost:    1
5.79	c ---[181986]---> BDD-cost:    1
5.79	c ---[181984]---> BDD-cost:    1
5.79	c ---[181982]---> BDD-cost:    1
5.79	c ---[181980]---> BDD-cost:    1
5.79	c ---[181978]---> BDD-cost:    1
5.79	c ---[181973]---> BDD-cost:    1
5.79	c ---[181722]---> BDD-cost:    1
5.79	c ---[181681]---> BDD-cost:    1
5.79	c ---[181640]---> BDD-cost:    1
5.79	c ---[181599]---> BDD-cost:    1
5.79	c ---[181516]---> BDD-cost:    1
5.79	c ---[181337]---> BDD-cost:    1
5.79	c ---[181035]---> BDD-cost:    1
5.79	c ---[180952]---> BDD-cost:    1
5.79	c ---[180734]---> BDD-cost:    1
5.79	c ---[180705]---> BDD-cost:    1
5.79	c ---[180517]---> BDD-cost:    1
5.79	c ---[180464]---> BDD-cost:    1
5.79	c ---[180462]---> BDD-cost:    1
5.79	c ---[180460]---> BDD-cost:    1
5.79	c ---[179747]---> BDD-cost:    1
5.79	c ---[179742]---> BDD-cost:    1
5.79	c ---[179704]---> BDD-cost:    1
5.79	c ---[179402]---> BDD-cost:    1
5.79	c ---[179364]---> BDD-cost:    1
5.79	c ---[179122]---> BDD-cost:    1
5.79	c ---[179084]---> BDD-cost:    1
5.79	c ---[178902]---> BDD-cost:    1
5.79	c ---[178864]---> BDD-cost:    1
5.79	c ---[178742]---> BDD-cost:    1
5.79	c ---[178704]---> BDD-cost:    1
5.79	c ---[178666]---> BDD-cost:    1
5.79	c ---[177197]---> BDD-cost:    1
5.79	c ---[177138]---> BDD-cost:    1
5.79	c ---[177133]---> BDD-cost:    1
5.79	c ---[177128]---> BDD-cost:    1
5.79	c ---[177111]---> BDD-cost:    1
5.79	c ---[177106]---> BDD-cost:    1
5.79	c ---[177068]---> BDD-cost:    1
5.79	c ---[177063]---> BDD-cost:    1
5.79	c ---[177031]---> BDD-cost:    1
5.79	c ---[176996]---> BDD-cost:    1
5.79	c ---[175581]---> BDD-cost:    1
5.79	c ---[175579]---> BDD-cost:    1
5.79	c ---[175553]---> BDD-cost:    1
5.79	c ---[175551]---> BDD-cost:    1
5.79	c ---[175549]---> BDD-cost:    1
5.79	c ---[175547]---> BDD-cost:    1
5.79	c ---[175545]---> BDD-cost:    1
5.79	c ---[175543]---> BDD-cost:    1
5.79	c ---[175538]---> BDD-cost:    1
5.79	c ---[175191]---> BDD-cost:    1
5.79	c ---[175132]---> BDD-cost:    1
5.79	c ---[175082]---> BDD-cost:    1
5.79	c ---[175032]---> BDD-cost:    1
5.79	c ---[174247]---> BDD-cost:    1
5.79	c ---[173807]---> BDD-cost:    1
5.79	c ---[173757]---> BDD-cost:    1
5.79	c ---[173482]---> BDD-cost:    1
5.79	c ---[173423]---> BDD-cost:    1
5.79	c ---[173421]---> BDD-cost:    1
5.79	c ---[173419]---> BDD-cost:    1
5.79	c ---[172964]---> BDD-cost:    1
5.79	c ---[172455]---> BDD-cost:    1
5.79	c ---[172450]---> BDD-cost:    1
5.79	c ---[172406]---> BDD-cost:    1
5.79	c ---[171990]---> BDD-cost:    1
5.79	c ---[171985]---> BDD-cost:    1
5.79	c ---[171941]---> BDD-cost:    1
5.79	c ---[171594]---> BDD-cost:    1
5.79	c ---[171550]---> BDD-cost:    1
5.79	c ---[171272]---> BDD-cost:    1
5.79	c ---[171228]---> BDD-cost:    1
5.79	c ---[171019]---> BDD-cost:    1
5.79	c ---[170975]---> BDD-cost:    1
5.79	c ---[170835]---> BDD-cost:    1
5.79	c ---[170791]---> BDD-cost:    1
5.79	c ---[170747]---> BDD-cost:    1
5.79	c ---[167703]---> BDD-cost:    1
5.79	c ---[167581]---> BDD-cost:    1
5.79	c ---[167576]---> BDD-cost:    1
5.79	c ---[167571]---> BDD-cost:    1
5.79	c ---[167554]---> BDD-cost:    1
5.79	c ---[167549]---> BDD-cost:    1
5.79	c ---[167505]---> BDD-cost:    1
5.79	c ---[167500]---> BDD-cost:    1
5.79	c ---[167498]---> BDD-cost:    1
5.79	c ---[167460]---> BDD-cost:    1
5.79	c ---[167455]---> BDD-cost:    1
5.79	c ---[167402]---> BDD-cost:    1
5.79	c ---[167397]---> BDD-cost:    1
5.79	c ---[167353]---> BDD-cost:    1
5.79	c ---[164348]---> BDD-cost:    1
5.79	c ---[164346]---> BDD-cost:    1
5.79	c ---[164293]---> BDD-cost:    1
5.79	c ---[164291]---> BDD-cost:    1
5.79	c ---[164289]---> BDD-cost:    1
5.79	c ---[164287]---> BDD-cost:    1
5.79	c ---[164285]---> BDD-cost:    1
5.79	c ---[164283]---> BDD-cost:    1
5.79	c ---[164278]---> BDD-cost:    1
5.79	c ---[164141]---> BDD-cost:    1
5.79	c ---[164058]---> BDD-cost:    1
5.79	c ---[163669]---> BDD-cost:    1
5.79	c ---[163583]---> BDD-cost:    1
5.79	c ---[163524]---> BDD-cost:    1
5.79	c ---[163465]---> BDD-cost:    1
5.79	c ---[162119]---> BDD-cost:    1
5.79	c ---[161613]---> BDD-cost:    1
5.79	c ---[161521]---> BDD-cost:    1
5.79	c ---[161141]---> BDD-cost:    1
5.79	c ---[161073]---> BDD-cost:    1
5.79	c ---[161071]---> BDD-cost:    1
5.79	c ---[161069]---> BDD-cost:    1
5.79	c ---[160473]---> BDD-cost:    1
5.79	c ---[159820]---> BDD-cost:    1
5.79	c ---[159815]---> BDD-cost:    1
5.79	c ---[159765]---> BDD-cost:    1
5.79	c ---[159217]---> BDD-cost:    1
5.79	c ---[159212]---> BDD-cost:    1
5.79	c ---[159162]---> BDD-cost:    1
5.79	c ---[158692]---> BDD-cost:    1
5.79	c ---[158687]---> BDD-cost:    1
5.79	c ---[158637]---> BDD-cost:    1
5.79	c ---[158245]---> BDD-cost:    1
5.79	c ---[158195]---> BDD-cost:    1
5.79	c ---[157881]---> BDD-cost:    1
5.79	c ---[157831]---> BDD-cost:    1
5.79	c ---[157595]---> BDD-cost:    1
5.79	c ---[157545]---> BDD-cost:    1
5.79	c ---[157387]---> BDD-cost:    1
5.79	c ---[157337]---> BDD-cost:    1
5.79	c ---[157287]---> BDD-cost:    1
5.79	c ---[151969]---> BDD-cost:    1
5.79	c ---[151643]---> BDD-cost:    1
5.79	c ---[151638]---> BDD-cost:    1
5.79	c ---[151633]---> BDD-cost:    1
5.79	c ---[151595]---> BDD-cost:    1
5.79	c ---[151590]---> BDD-cost:    1
5.79	c ---[151540]---> BDD-cost:    1
5.79	c ---[151535]---> BDD-cost:    1
5.79	c ---[151533]---> BDD-cost:    1
5.79	c ---[151489]---> BDD-cost:    1
5.79	c ---[151484]---> BDD-cost:    1
5.79	c ---[151482]---> BDD-cost:    1
5.79	c ---[151444]---> BDD-cost:    1
5.79	c ---[151439]---> BDD-cost:    1
5.79	c ---[151365]---> BDD-cost:    1
5.79	c ---[151360]---> BDD-cost:    1
5.79	c ---[151355]---> BDD-cost:    1
5.79	c ---[151302]---> BDD-cost:    1
5.79	c ---[145993]---> BDD-cost:    1
5.79	c ---[145991]---> BDD-cost:    1
5.79	c ---[145854]---> BDD-cost:    1
5.79	c ---[145852]---> BDD-cost:    1
5.79	c ---[145850]---> BDD-cost:    1
5.79	c ---[145848]---> BDD-cost:    1
5.79	c ---[145846]---> BDD-cost:    1
5.79	c ---[145844]---> BDD-cost:    1
5.79	c ---[145839]---> BDD-cost:    1
5.79	c ---[145675]---> BDD-cost:    1
5.79	c ---[145553]---> BDD-cost:    1
5.79	c ---[145032]---> BDD-cost:    1
5.79	c ---[144910]---> BDD-cost:    1
5.79	c ---[144842]---> BDD-cost:    1
5.79	c ---[144774]---> BDD-cost:    1
5.79	c ---[142681]---> BDD-cost:    1
5.79	c ---[141821]---> BDD-cost:    1
5.79	c ---[141648]---> BDD-cost:    1
5.79	c ---[141145]---> BDD-cost:    1
5.79	c ---[141068]---> BDD-cost:    1
5.79	c ---[141066]---> BDD-cost:    1
5.79	c ---[141064]---> BDD-cost:    1
5.79	c ---[140312]---> BDD-cost:    1
5.79	c ---[139497]---> BDD-cost:    1
5.79	c ---[139492]---> BDD-cost:    1
5.79	c ---[139436]---> BDD-cost:    1
5.79	c ---[138738]---> BDD-cost:    1
5.79	c ---[138733]---> BDD-cost:    1
5.79	c ---[138677]---> BDD-cost:    1
5.79	c ---[138066]---> BDD-cost:    1
5.79	c ---[138061]---> BDD-cost:    1
5.79	c ---[138005]---> BDD-cost:    1
5.79	c ---[137481]---> BDD-cost:    1
5.79	c ---[137476]---> BDD-cost:    1
5.79	c ---[137420]---> BDD-cost:    1
5.79	c ---[136983]---> BDD-cost:    1
5.79	c ---[136927]---> BDD-cost:    1
5.79	c ---[136577]---> BDD-cost:    1
5.79	c ---[136521]---> BDD-cost:    1
5.79	c ---[136258]---> BDD-cost:    1
5.79	c ---[136202]---> BDD-cost:    1
5.79	c ---[136026]---> BDD-cost:    1
5.79	c ---[135970]---> BDD-cost:    1
5.79	c ---[135914]---> BDD-cost:    1
5.79	c ---[127482]---> BDD-cost:    1
5.79	c ---[126862]---> BDD-cost:    1
5.79	c ---[126830]---> BDD-cost:    1
5.79	c ---[126819]---> BDD-cost:    1
5.79	c ---[126727]---> BDD-cost:    1
5.79	c ---[126569]---> BDD-cost:    1
5.79	c ---[126564]---> BDD-cost:    1
5.79	c ---[126508]---> BDD-cost:    1
5.80	c ---[126503]---> BDD-cost:    1
5.80	c ---[126501]---> BDD-cost:    1
5.80	c ---[126451]---> BDD-cost:    1
5.80	c ---[126446]---> BDD-cost:    1
5.80	c ---[126444]---> BDD-cost:    1
5.80	c ---[126400]---> BDD-cost:    1
5.80	c ---[126395]---> BDD-cost:    1
5.80	c ---[126393]---> BDD-cost:    1
5.80	c ---[126355]---> BDD-cost:    1
5.80	c ---[126350]---> BDD-cost:    1
5.80	c ---[126285]---> BDD-cost:    1
5.80	c ---[126250]---> BDD-cost:    1
5.80	c ---[126245]---> BDD-cost:    1
5.80	c ---[126240]---> BDD-cost:    1
5.80	c ---[126235]---> BDD-cost:    1
5.80	c ---[126173]---> BDD-cost:    1
5.80	c ---[117711]---> BDD-cost:    1
5.80	c ---[117709]---> BDD-cost:    1
5.80	c ---[117371]---> BDD-cost:    1
5.80	c ---[117369]---> BDD-cost:    1
5.80	c ---[117367]---> BDD-cost:    1
5.80	c ---[117365]---> BDD-cost:    1
5.80	c ---[117363]---> BDD-cost:    1
5.80	c ---[117361]---> BDD-cost:    1
5.80	c ---[117356]---> BDD-cost:    1
5.80	c ---[117165]---> BDD-cost:    1
5.80	c ---[116992]---> BDD-cost:    1
5.80	c ---[116324]---> BDD-cost:    1
5.80	c ---[116157]---> BDD-cost:    1
5.80	c ---[116080]---> BDD-cost:    1
5.80	c ---[116003]---> BDD-cost:    1
5.80	c ---[112950]---> BDD-cost:    1
5.80	c ---[111556]---> BDD-cost:    1
5.80	c ---[111287]---> BDD-cost:    1
5.80	c ---[110643]---> BDD-cost:    1
5.80	c ---[110557]---> BDD-cost:    1
5.80	c ---[110555]---> BDD-cost:    1
5.80	c ---[110553]---> BDD-cost:    1
5.80	c ---[109627]---> BDD-cost:    1
5.80	c ---[108632]---> BDD-cost:    1
5.80	c ---[108627]---> BDD-cost:    1
5.80	c ---[108565]---> BDD-cost:    1
5.80	c ---[107699]---> BDD-cost:    1
5.80	c ---[107694]---> BDD-cost:    1
5.80	c ---[107632]---> BDD-cost:    1
5.80	c ---[106862]---> BDD-cost:    1
5.80	c ---[106857]---> BDD-cost:    1
5.80	c ---[106795]---> BDD-cost:    1
5.80	c ---[106121]---> BDD-cost:    1
5.80	c ---[106116]---> BDD-cost:    1
5.80	c ---[106054]---> BDD-cost:    1
5.80	c ---[105476]---> BDD-cost:    1
5.80	c ---[105471]---> BDD-cost:    1
5.80	c ---[105409]---> BDD-cost:    1
5.80	c ---[104927]---> BDD-cost:    1
5.80	c ---[104865]---> BDD-cost:    1
5.80	c ---[104479]---> BDD-cost:    1
5.80	c ---[104417]---> BDD-cost:    1
5.80	c ---[104127]---> BDD-cost:    1
5.80	c ---[104065]---> BDD-cost:    1
5.80	c ---[103871]---> BDD-cost:    1
5.80	c ---[103809]---> BDD-cost:    1
5.80	c ---[103747]---> BDD-cost:    1
5.80	c ---[91226]---> BDD-cost:    1
5.80	c ---[90327]---> BDD-cost:    1
5.80	c ---[90322]---> BDD-cost:    1
5.80	c ---[90281]---> BDD-cost:    1
5.80	c ---[90270]---> BDD-cost:    1
5.80	c ---[89398]---> BDD-cost:    1
5.80	c ---[88847]---> BDD-cost:    1
5.80	c ---[88842]---> BDD-cost:    1
5.80	c ---[88780]---> BDD-cost:    1
5.80	c ---[88775]---> BDD-cost:    1
5.80	c ---[88773]---> BDD-cost:    1
5.80	c ---[88717]---> BDD-cost:    1
5.80	c ---[88712]---> BDD-cost:    1
5.80	c ---[88710]---> BDD-cost:    1
5.80	c ---[88660]---> BDD-cost:    1
5.80	c ---[88655]---> BDD-cost:    1
5.80	c ---[88653]---> BDD-cost:    1
5.80	c ---[88609]---> BDD-cost:    1
5.80	c ---[88604]---> BDD-cost:    1
5.80	c ---[88602]---> BDD-cost:    1
5.80	c ---[88564]---> BDD-cost:    1
5.80	c ---[88559]---> BDD-cost:    1
5.80	c ---[88479]---> BDD-cost:    1
5.80	c ---[88477]---> BDD-cost:    1
5.80	c ---[88433]---> BDD-cost:    1
5.80	c ---[88428]---> BDD-cost:    1
5.80	c ---[88423]---> BDD-cost:    1
5.80	c ---[88418]---> BDD-cost:    1
5.80	c ---[88413]---> BDD-cost:    1
5.80	c ---[88342]---> BDD-cost:    1
5.80	c ---[75743]---> BDD-cost:    1
5.80	c ---[75741]---> BDD-cost:    1
5.80	c ---[74998]---> BDD-cost:    1
5.80	c ---[74996]---> BDD-cost:    1
5.80	c ---[74994]---> BDD-cost:    1
5.80	c ---[74992]---> BDD-cost:    1
5.80	c ---[74990]---> BDD-cost:    1
5.80	c ---[74988]---> BDD-cost:    1
5.80	c ---[74983]---> BDD-cost:    1
5.80	c ---[74765]---> BDD-cost:    1
5.80	c ---[74526]---> BDD-cost:    1
5.80	c ---[73696]---> BDD-cost:    1
5.80	c ---[73475]---> BDD-cost:    1
5.80	c ---[73389]---> BDD-cost:    1
5.80	c ---[73303]---> BDD-cost:    1
5.80	c ---[69050]---> BDD-cost:    1
5.80	c ---[66864]---> BDD-cost:    1
5.80	c ---[66481]---> BDD-cost:    1
5.80	c ---[65678]---> BDD-cost:    1
5.80	c ---[65583]---> BDD-cost:    1
5.80	c ---[65581]---> BDD-cost:    1
5.80	c ---[65579]---> BDD-cost:    1
5.80	c ---[64461]---> BDD-cost:    1
5.80	c ---[63268]---> BDD-cost:    1
5.80	c ---[63263]---> BDD-cost:    1
5.80	c ---[63195]---> BDD-cost:    1
5.80	c ---[62143]---> BDD-cost:    1
5.80	c ---[62138]---> BDD-cost:    1
5.80	c ---[62070]---> BDD-cost:    1
5.80	c ---[61123]---> BDD-cost:    1
5.80	c ---[61118]---> BDD-cost:    1
5.80	c ---[61050]---> BDD-cost:    1
5.80	c ---[60208]---> BDD-cost:    1
5.80	c ---[60203]---> BDD-cost:    1
5.80	c ---[60135]---> BDD-cost:    1
5.80	c ---[59398]---> BDD-cost:    1
5.80	c ---[59393]---> BDD-cost:    1
5.80	c ---[59325]---> BDD-cost:    1
5.80	c ---[58693]---> BDD-cost:    1
5.80	c ---[58688]---> BDD-cost:    1
5.80	c ---[58620]---> BDD-cost:    1
5.80	c ---[58093]---> BDD-cost:    1
5.80	c ---[58025]---> BDD-cost:    1
5.80	c ---[57603]---> BDD-cost:    1
5.80	c ---[57535]---> BDD-cost:    1
5.80	c ---[57218]---> BDD-cost:    1
5.80	c ---[57150]---> BDD-cost:    1
5.80	c ---[56938]---> BDD-cost:    1
5.80	c ---[56870]---> BDD-cost:    1
5.80	c ---[56802]---> BDD-cost:    1
5.80	c ---[39082]---> BDD-cost:    1
5.80	c ---[38117]---> BDD-cost:    1
5.80	c ---[38112]---> BDD-cost:    1
5.80	c ---[38107]---> BDD-cost:    1
5.80	c ---[38057]---> BDD-cost:    1
5.80	c ---[38046]---> BDD-cost:    1
5.80	c ---[34243]---> BDD-cost:    1
5.80	c ---[32576]---> BDD-cost:    1
5.80	c ---[32571]---> BDD-cost:    1
5.80	c ---[32503]---> BDD-cost:    1
5.80	c ---[32498]---> BDD-cost:    1
5.80	c ---[32496]---> BDD-cost:    1
5.80	c ---[32434]---> BDD-cost:    1
5.80	c ---[32429]---> BDD-cost:    1
5.80	c ---[32427]---> BDD-cost:    1
5.80	c ---[32371]---> BDD-cost:    1
5.80	c ---[32366]---> BDD-cost:    1
5.80	c ---[32364]---> BDD-cost:    1
5.80	c ---[32314]---> BDD-cost:    1
5.80	c ---[32309]---> BDD-cost:    1
5.80	c ---[32307]---> BDD-cost:    1
5.80	c ---[32263]---> BDD-cost:    1
5.80	c ---[32258]---> BDD-cost:    1
5.80	c ---[32256]---> BDD-cost:    1
5.80	c ---[32218]---> BDD-cost:    1
5.80	c ---[32213]---> BDD-cost:    1
5.80	c ---[32118]---> BDD-cost:    1
5.80	c ---[32116]---> BDD-cost:    1
5.80	c ---[32114]---> BDD-cost:    1
5.80	c ---[32061]---> BDD-cost:    1
5.80	c ---[32056]---> BDD-cost:    1
5.80	c ---[32051]---> BDD-cost:    1
5.80	c ---[32046]---> BDD-cost:    1
5.80	c ---[32041]---> BDD-cost:    1
5.80	c ---[32036]---> BDD-cost:    1
5.80	c ---[31956]---> BDD-cost:    1
5.80	c ---[14101]---> BDD-cost:    1
5.80	c ---[14099]---> BDD-cost:    1
5.80	c ---[12657]---> BDD-cost:    1
5.80	c ---[12655]---> BDD-cost:    1
5.80	c ---[12653]---> BDD-cost:    1
5.80	c ---[12651]---> BDD-cost:    1
5.80	c ---[12649]---> BDD-cost:    1
5.80	c ---[12647]---> BDD-cost:    1
5.80	c ---[12642]---> BDD-cost:    1
5.80	c ---[12397]---> BDD-cost:    1
5.80	c ---[12077]---> BDD-cost:    1
5.80	c ---[11070]---> BDD-cost:    1
5.80	c ---[10786]---> BDD-cost:    1
5.80	c ---[10691]---> BDD-cost:    1
5.80	c ---[10596]---> BDD-cost:    1
5.80	c ---[4876]---> BDD-cost:    1
5.80	c ---[2597]---> BDD-cost:    1
5.80	c ---[2314]---> BDD-cost:    1
5.80	c ---[2309]---> BDD-cost:    1
5.80	c ---[2304]---> BDD-cost:    1
5.80	c ---[2299]---> BDD-cost:    1
5.80	c ---[2294]---> BDD-cost:    1
5.80	c ---[2289]---> BDD-cost:    1
5.80	c ---[2284]---> BDD-cost:    1
5.80	c ---[2279]---> BDD-cost:    1
5.80	c ---[2274]---> BDD-cost:    1
5.80	c ---[2269]---> BDD-cost:    1
5.80	c ---[2264]---> BDD-cost:    1
5.80	c ---[2259]---> BDD-cost:    1
5.80	c ---[2254]---> BDD-cost:    1
5.80	c ---[2249]---> BDD-cost:    1
5.80	c ---[ 503]---> BDD-cost:   14
5.80	c ---[ 502]---> BDD-cost:   14
5.80	c ---[ 501]---> BDD-cost:    1
5.80	c ---[ 500]---> BDD-cost:    1
5.80	c ---[ 499]---> BDD-cost:   14
5.80	c ---[ 498]---> BDD-cost:   14
5.80	c ---[ 497]---> BDD-cost:    1
5.80	c ---[ 496]---> BDD-cost:    1
5.80	c ---[ 495]---> BDD-cost:   14
5.80	c ---[ 494]---> BDD-cost:   14
5.80	c ---[ 493]---> BDD-cost:    1
5.80	c ---[ 492]---> BDD-cost:    1
5.80	c ---[ 491]---> BDD-cost:   14
5.80	c ---[ 490]---> BDD-cost:   14
5.80	c ---[ 489]---> BDD-cost:    1
5.80	c ---[ 488]---> BDD-cost:    1
5.80	c ---[ 487]---> BDD-cost:   14
5.80	c ---[ 486]---> BDD-cost:   14
5.80	c ---[ 485]---> BDD-cost:    1
5.80	c ---[ 484]---> BDD-cost:    1
5.80	c ---[ 483]---> BDD-cost:   14
5.80	c ---[ 482]---> BDD-cost:   14
5.80	c ---[ 481]---> BDD-cost:    1
5.80	c ---[ 480]---> BDD-cost:    1
5.80	c ---[ 479]---> BDD-cost:   14
5.80	c ---[ 478]---> BDD-cost:   14
5.80	c ---[ 477]---> BDD-cost:    1
5.80	c ---[ 476]---> BDD-cost:    1
5.80	c ---[ 475]---> BDD-cost:   14
5.80	c ---[ 474]---> BDD-cost:   14
5.81	c ---[ 473]---> BDD-cost:    1
5.81	c ---[ 472]---> BDD-cost:    1
5.81	c ---[ 471]---> BDD-cost:   14
5.81	c ---[ 470]---> BDD-cost:   14
5.81	c ---[ 469]---> BDD-cost:    1
5.81	c ---[ 468]---> BDD-cost:    1
5.81	c ---[ 467]---> BDD-cost:   14
5.81	c ---[ 466]---> BDD-cost:   14
5.81	c ---[ 465]---> BDD-cost:    1
5.81	c ---[ 464]---> BDD-cost:    1
5.81	c ---[ 463]---> BDD-cost:   14
5.81	c ---[ 462]---> BDD-cost:   14
5.81	c ---[ 461]---> BDD-cost:    1
5.81	c ---[ 460]---> BDD-cost:    1
5.81	c ---[ 459]---> BDD-cost:   14
5.81	c ---[ 458]---> BDD-cost:   14
5.81	c ---[ 457]---> BDD-cost:    1
5.81	c ---[ 456]---> BDD-cost:    1
5.81	c ---[ 455]---> BDD-cost:   14
5.81	c ---[ 454]---> BDD-cost:   14
5.81	c ---[ 453]---> BDD-cost:    1
5.81	c ---[ 452]---> BDD-cost:    1
5.81	c ---[ 451]---> BDD-cost:   14
5.81	c ---[ 450]---> BDD-cost:   14
5.81	c ---[ 449]---> BDD-cost:    1
5.81	c ---[ 448]---> BDD-cost:    1
5.81	c ---[ 447]---> BDD-cost:   14
5.81	c ---[ 446]---> BDD-cost:   14
5.81	c ---[ 445]---> BDD-cost:    1
5.81	c ---[ 444]---> BDD-cost:    1
5.81	c ---[ 443]---> BDD-cost:   14
5.81	c ---[ 442]---> BDD-cost:   14
5.81	c ---[ 441]---> BDD-cost:    1
5.81	c ---[ 440]---> BDD-cost:    1
5.81	c ---[ 439]---> BDD-cost:   14
5.81	c ---[ 438]---> BDD-cost:   14
5.81	c ---[ 437]---> BDD-cost:    1
5.81	c ---[ 436]---> BDD-cost:    1
5.81	c ---[ 435]---> BDD-cost:   14
5.81	c ---[ 434]---> BDD-cost:   14
5.81	c ---[ 433]---> BDD-cost:    1
5.81	c ---[ 432]---> BDD-cost:    1
5.81	c ---[ 431]---> BDD-cost:   14
5.81	c ---[ 430]---> BDD-cost:   14
5.81	c ---[ 429]---> BDD-cost:    1
5.81	c ---[ 428]---> BDD-cost:    1
5.81	c ---[ 427]---> BDD-cost:   14
5.81	c ---[ 426]---> BDD-cost:   14
5.81	c ---[ 425]---> BDD-cost:    1
5.81	c ---[ 424]---> BDD-cost:    1
5.81	c ---[ 423]---> BDD-cost:   14
5.81	c ---[ 422]---> BDD-cost:   14
5.81	c ---[ 421]---> BDD-cost:    1
5.81	c ---[ 420]---> BDD-cost:    1
5.81	c ---[ 419]---> BDD-cost:   14
5.81	c ---[ 418]---> BDD-cost:   14
5.81	c ---[ 417]---> BDD-cost:    1
5.81	c ---[ 416]---> BDD-cost:    1
5.81	c ---[ 415]---> BDD-cost:   14
5.81	c ---[ 414]---> BDD-cost:   14
5.81	c ---[ 413]---> BDD-cost:    1
5.81	c ---[ 412]---> BDD-cost:    1
5.81	c ---[ 411]---> BDD-cost:   14
5.81	c ---[ 410]---> BDD-cost:   14
5.81	c ---[ 409]---> BDD-cost:    1
5.81	c ---[ 408]---> BDD-cost:    1
5.81	c ---[ 407]---> BDD-cost:   14
5.81	c ---[ 406]---> BDD-cost:   14
5.81	c ---[ 405]---> BDD-cost:    1
5.81	c ---[ 404]---> BDD-cost:    1
5.81	c ---[ 403]---> BDD-cost:   14
5.81	c ---[ 402]---> BDD-cost:   14
5.81	c ---[ 401]---> BDD-cost:    1
5.81	c ---[ 400]---> BDD-cost:    1
5.81	c ---[ 399]---> BDD-cost:   14
5.81	c ---[ 398]---> BDD-cost:   14
5.81	c ---[ 397]---> BDD-cost:    1
5.81	c ---[ 396]---> BDD-cost:    1
5.81	c ---[ 395]---> BDD-cost:   14
5.81	c ---[ 394]---> BDD-cost:   14
5.81	c ---[ 393]---> BDD-cost:    1
5.81	c ---[ 392]---> BDD-cost:    1
5.81	c ---[ 391]---> BDD-cost:   14
5.81	c ---[ 390]---> BDD-cost:   14
5.81	c ---[ 389]---> BDD-cost:    1
5.81	c ---[ 388]---> BDD-cost:    1
5.81	c ---[ 387]---> BDD-cost:   14
5.81	c ---[ 386]---> BDD-cost:   14
5.81	c ---[ 385]---> BDD-cost:    1
5.82	c ---[ 384]---> BDD-cost:    1
5.82	c ---[ 383]---> BDD-cost:   14
5.82	c ---[ 382]---> BDD-cost:   14
5.82	c ---[ 381]---> BDD-cost:    1
5.82	c ---[ 380]---> BDD-cost:    1
5.82	c ---[ 379]---> BDD-cost:   14
5.82	c ---[ 378]---> BDD-cost:   14
5.82	c ---[ 377]---> BDD-cost:    1
5.82	c ---[ 376]---> BDD-cost:    1
5.82	c ---[ 375]---> BDD-cost:   14
5.82	c ---[ 374]---> BDD-cost:   14
5.82	c ---[ 373]---> BDD-cost:    1
5.82	c ---[ 372]---> BDD-cost:    1
5.82	c ---[ 371]---> BDD-cost:   14
5.82	c ---[ 370]---> BDD-cost:   14
5.82	c ---[ 369]---> BDD-cost:    1
5.82	c ---[ 368]---> BDD-cost:    1
5.82	c ---[ 367]---> BDD-cost:   14
5.82	c ---[ 366]---> BDD-cost:   14
5.82	c ---[ 365]---> BDD-cost:    1
5.82	c ---[ 364]---> BDD-cost:    1
5.82	c ---[ 363]---> BDD-cost:   14
5.82	c ---[ 362]---> BDD-cost:   14
5.82	c ---[ 361]---> BDD-cost:    1
5.82	c ---[ 360]---> BDD-cost:    1
5.82	c ---[ 359]---> BDD-cost:   14
5.82	c ---[ 358]---> BDD-cost:   14
5.82	c ---[ 357]---> BDD-cost:    1
5.82	c ---[ 356]---> BDD-cost:    1
5.82	c ---[ 355]---> BDD-cost:   14
5.82	c ---[ 354]---> BDD-cost:   14
5.82	c ---[ 353]---> BDD-cost:    1
5.82	c ---[ 352]---> BDD-cost:    1
5.82	c ---[ 351]---> BDD-cost:   14
5.82	c ---[ 350]---> BDD-cost:   14
5.82	c ---[ 349]---> BDD-cost:    1
5.82	c ---[ 348]---> BDD-cost:    1
5.82	c ---[ 347]---> BDD-cost:   14
5.82	c ---[ 346]---> BDD-cost:   14
5.82	c ---[ 345]---> BDD-cost:    1
5.82	c ---[ 344]---> BDD-cost:    1
5.82	c ---[ 343]---> BDD-cost:   14
5.82	c ---[ 342]---> BDD-cost:   14
5.82	c ---[ 341]---> BDD-cost:    1
5.82	c ---[ 340]---> BDD-cost:    1
5.82	c ---[ 339]---> BDD-cost:   14
5.82	c ---[ 338]---> BDD-cost:   14
5.82	c ---[ 337]---> BDD-cost:    1
5.82	c ---[ 336]---> BDD-cost:    1
5.82	c ---[ 335]---> BDD-cost:   14
5.82	c ---[ 334]---> BDD-cost:   14
5.82	c ---[ 333]---> BDD-cost:    1
5.82	c ---[ 332]---> BDD-cost:    1
5.82	c ---[ 331]---> BDD-cost:   14
5.82	c ---[ 330]---> BDD-cost:   14
5.82	c ---[ 329]---> BDD-cost:    1
5.82	c ---[ 328]---> BDD-cost:    1
5.82	c ---[ 327]---> BDD-cost:   14
5.82	c ---[ 326]---> BDD-cost:   14
5.82	c ---[ 325]---> BDD-cost:    1
5.82	c ---[ 324]---> BDD-cost:    1
5.82	c ---[ 323]---> BDD-cost:   14
5.82	c ---[ 322]---> BDD-cost:   14
5.82	c ---[ 321]---> BDD-cost:    1
5.82	c ---[ 320]---> BDD-cost:    1
5.82	c ---[ 319]---> BDD-cost:   14
5.82	c ---[ 318]---> BDD-cost:   14
5.82	c ---[ 317]---> BDD-cost:    1
5.82	c ---[ 316]---> BDD-cost:    1
5.82	c ---[ 315]---> BDD-cost:   14
5.82	c ---[ 314]---> BDD-cost:   14
5.82	c ---[ 313]---> BDD-cost:    1
5.82	c ---[ 312]---> BDD-cost:    1
5.82	c ---[ 311]---> BDD-cost:   14
5.82	c ---[ 310]---> BDD-cost:   14
5.82	c ---[ 309]---> BDD-cost:    1
5.82	c ---[ 308]---> BDD-cost:    1
5.82	c ---[ 307]---> BDD-cost:   14
5.82	c ---[ 306]---> BDD-cost:   14
5.82	c ---[ 305]---> BDD-cost:    1
5.82	c ---[ 304]---> BDD-cost:    1
5.82	c ---[ 303]---> BDD-cost:   14
5.82	c ---[ 302]---> BDD-cost:   14
5.82	c ---[ 301]---> BDD-cost:    1
5.82	c ---[ 300]---> BDD-cost:    1
5.82	c ---[ 299]---> BDD-cost:   14
5.82	c ---[ 298]---> BDD-cost:   14
5.82	c ---[ 297]---> BDD-cost:    1
5.82	c ---[ 296]---> BDD-cost:    1
5.82	c ---[ 295]---> BDD-cost:   14
5.82	c ---[ 294]---> BDD-cost:   14
5.83	c ---[ 293]---> BDD-cost:    1
5.83	c ---[ 292]---> BDD-cost:    1
5.83	c ---[ 291]---> BDD-cost:   14
5.83	c ---[ 290]---> BDD-cost:   14
5.83	c ---[ 289]---> BDD-cost:    1
5.83	c ---[ 288]---> BDD-cost:    1
5.83	c ---[ 287]---> BDD-cost:   14
5.83	c ---[ 286]---> BDD-cost:   14
5.83	c ---[ 285]---> BDD-cost:    1
5.83	c ---[ 284]---> BDD-cost:    1
5.83	c ---[ 283]---> BDD-cost:   14
5.83	c ---[ 282]---> BDD-cost:   14
5.83	c ---[ 281]---> BDD-cost:    1
5.83	c ---[ 280]---> BDD-cost:    1
5.83	c ---[ 279]---> BDD-cost:   14
5.83	c ---[ 278]---> BDD-cost:   14
5.83	c ---[ 277]---> BDD-cost:    1
5.83	c ---[ 276]---> BDD-cost:    1
5.83	c ---[ 275]---> BDD-cost:   14
5.83	c ---[ 274]---> BDD-cost:   14
5.83	c ---[ 273]---> BDD-cost:    1
5.83	c ---[ 272]---> BDD-cost:    1
5.83	c ---[ 271]---> BDD-cost:   14
5.83	c ---[ 270]---> BDD-cost:   14
5.83	c ---[ 269]---> BDD-cost:    1
5.83	c ---[ 268]---> BDD-cost:    1
5.83	c ---[ 267]---> BDD-cost:   14
5.83	c ---[ 266]---> BDD-cost:   14
5.83	c ---[ 265]---> BDD-cost:    1
5.83	c ---[ 264]---> BDD-cost:    1
5.83	c ---[ 263]---> BDD-cost:   14
5.83	c ---[ 262]---> BDD-cost:   14
5.83	c ---[ 261]---> BDD-cost:    1
5.83	c ---[ 260]---> BDD-cost:    1
5.83	c ---[ 259]---> BDD-cost:   14
5.83	c ---[ 258]---> BDD-cost:   14
5.83	c ---[ 257]---> BDD-cost:    1
5.83	c ---[ 256]---> BDD-cost:    1
5.83	c ---[ 255]---> BDD-cost:   14
5.83	c ---[ 254]---> BDD-cost:   14
5.83	c ---[ 253]---> BDD-cost:    1
5.83	c ---[ 252]---> BDD-cost:    1
5.83	c ---[ 251]---> BDD-cost:   14
5.83	c ---[ 250]---> BDD-cost:   14
5.83	c ---[ 249]---> BDD-cost:    1
5.83	c ---[ 248]---> BDD-cost:    1
5.83	c ---[ 247]---> BDD-cost:   14
5.83	c ---[ 246]---> BDD-cost:   14
5.83	c ---[ 245]---> BDD-cost:    1
5.83	c ---[ 244]---> BDD-cost:    1
5.83	c ---[ 243]---> BDD-cost:   14
5.83	c ---[ 242]---> BDD-cost:   14
5.83	c ---[ 241]---> BDD-cost:    1
5.83	c ---[ 240]---> BDD-cost:    1
5.83	c ---[ 239]---> BDD-cost:   14
5.83	c ---[ 238]---> BDD-cost:   14
5.83	c ---[ 237]---> BDD-cost:    1
5.83	c ---[ 236]---> BDD-cost:    1
5.83	c ---[ 235]---> BDD-cost:   14
5.83	c ---[ 234]---> BDD-cost:   14
5.83	c ---[ 233]---> BDD-cost:    1
5.83	c ---[ 232]---> BDD-cost:    1
5.83	c ---[ 231]---> BDD-cost:   14
5.83	c ---[ 230]---> BDD-cost:   14
5.83	c ---[ 229]---> BDD-cost:    1
5.83	c ---[ 228]---> BDD-cost:    1
5.83	c ---[ 227]---> BDD-cost:   14
5.83	c ---[ 226]---> BDD-cost:   14
5.83	c ---[ 225]---> BDD-cost:    1
5.83	c ---[ 224]---> BDD-cost:    1
5.83	c ---[ 223]---> BDD-cost:   14
5.83	c ---[ 222]---> BDD-cost:   14
5.83	c ---[ 221]---> BDD-cost:    1
5.83	c ---[ 220]---> BDD-cost:    1
5.83	c ---[ 219]---> BDD-cost:   14
5.83	c ---[ 218]---> BDD-cost:   14
5.83	c ---[ 217]---> BDD-cost:    1
5.83	c ---[ 216]---> BDD-cost:    1
5.83	c ---[ 215]---> BDD-cost:   14
5.83	c ---[ 214]---> BDD-cost:   14
5.83	c ---[ 213]---> BDD-cost:    1
5.83	c ---[ 212]---> BDD-cost:    1
5.83	c ---[ 211]---> BDD-cost:   14
5.83	c ---[ 210]---> BDD-cost:   14
5.83	c ---[ 209]---> BDD-cost:    1
5.83	c ---[ 208]---> BDD-cost:    1
5.83	c ---[ 207]---> BDD-cost:   14
5.83	c ---[ 206]---> BDD-cost:   14
5.84	c ---[ 205]---> BDD-cost:    1
5.84	c ---[ 204]---> BDD-cost:    1
5.84	c ---[ 203]---> BDD-cost:   14
5.84	c ---[ 202]---> BDD-cost:   14
5.84	c ---[ 201]---> BDD-cost:    1
5.84	c ---[ 200]---> BDD-cost:    1
5.84	c ---[ 199]---> BDD-cost:   14
5.84	c ---[ 198]---> BDD-cost:   14
5.84	c ---[ 197]---> BDD-cost:    1
5.84	c ---[ 196]---> BDD-cost:    1
5.84	c ---[ 195]---> BDD-cost:   14
5.84	c ---[ 194]---> BDD-cost:   14
5.84	c ---[ 193]---> BDD-cost:    1
5.84	c ---[ 192]---> BDD-cost:    1
5.84	c ---[ 191]---> BDD-cost:   14
5.84	c ---[ 190]---> BDD-cost:   14
5.84	c ---[ 189]---> BDD-cost:    1
5.84	c ---[ 188]---> BDD-cost:    1
5.84	c ---[ 187]---> BDD-cost:   14
5.84	c ---[ 186]---> BDD-cost:   14
5.84	c ---[ 185]---> BDD-cost:    1
5.84	c ---[ 184]---> BDD-cost:    1
5.84	c ---[ 183]---> BDD-cost:   14
5.84	c ---[ 182]---> BDD-cost:   14
5.84	c ---[ 181]---> BDD-cost:    1
5.84	c ---[ 180]---> BDD-cost:    1
5.84	c ---[ 179]---> BDD-cost:   14
5.84	c ---[ 178]---> BDD-cost:   14
5.84	c ---[ 177]---> BDD-cost:    1
5.84	c ---[ 176]---> BDD-cost:    1
5.84	c ---[ 175]---> BDD-cost:   14
5.84	c ---[ 174]---> BDD-cost:   14
5.84	c ---[ 173]---> BDD-cost:    1
5.84	c ---[ 172]---> BDD-cost:    1
5.84	c ---[ 171]---> BDD-cost:   14
5.84	c ---[ 170]---> BDD-cost:   14
5.84	c ---[ 169]---> BDD-cost:    1
5.84	c ---[ 168]---> BDD-cost:    1
5.84	c ---[ 167]---> BDD-cost:   14
5.84	c ---[ 166]---> BDD-cost:   14
5.84	c ---[ 165]---> BDD-cost:    1
5.84	c ---[ 164]---> BDD-cost:    1
5.84	c ---[ 163]---> BDD-cost:   14
5.84	c ---[ 162]---> BDD-cost:   14
5.84	c ---[ 161]---> BDD-cost:    1
5.84	c ---[ 160]---> BDD-cost:    1
5.84	c ---[ 159]---> BDD-cost:   14
5.84	c ---[ 158]---> BDD-cost:   14
5.84	c ---[ 157]---> BDD-cost:    1
5.84	c ---[ 156]---> BDD-cost:    1
5.84	c ---[ 155]---> BDD-cost:   14
5.84	c ---[ 154]---> BDD-cost:   14
5.84	c ---[ 153]---> BDD-cost:    1
5.84	c ---[ 152]---> BDD-cost:    1
5.84	c ---[ 151]---> BDD-cost:   14
5.84	c ---[ 150]---> BDD-cost:   14
5.84	c ---[ 149]---> BDD-cost:    1
5.84	c ---[ 148]---> BDD-cost:    1
5.84	c ---[ 147]---> BDD-cost:   14
5.84	c ---[ 146]---> BDD-cost:   14
5.84	c ---[ 145]---> BDD-cost:    1
5.84	c ---[ 144]---> BDD-cost:    1
5.84	c ---[ 143]---> BDD-cost:   14
5.84	c ---[ 142]---> BDD-cost:   14
5.84	c ---[ 141]---> BDD-cost:    1
5.84	c ---[ 140]---> BDD-cost:    1
5.84	c ---[ 139]---> BDD-cost:   14
5.84	c ---[ 138]---> BDD-cost:   14
5.84	c ---[ 137]---> BDD-cost:    1
5.84	c ---[ 136]---> BDD-cost:    1
5.84	c ---[ 135]---> BDD-cost:   14
5.84	c ---[ 134]---> BDD-cost:   14
5.84	c ---[ 133]---> BDD-cost:    1
5.84	c ---[ 132]---> BDD-cost:    1
5.84	c ---[ 131]---> BDD-cost:   14
5.84	c ---[ 130]---> BDD-cost:   14
5.84	c ---[ 129]---> BDD-cost:    1
5.84	c ---[ 128]---> BDD-cost:    1
5.84	c ---[ 127]---> BDD-cost:   14
5.84	c ---[ 126]---> BDD-cost:   14
5.84	c ---[ 125]---> BDD-cost:    1
5.84	c ---[ 124]---> BDD-cost:    1
5.84	c ---[ 123]---> BDD-cost:   14
5.84	c ---[ 122]---> BDD-cost:   14
5.84	c ---[ 121]---> BDD-cost:    1
5.84	c ---[ 120]---> BDD-cost:    1
5.84	c ---[ 119]---> BDD-cost:   14
5.84	c ---[ 118]---> BDD-cost:   14
5.84	c ---[ 117]---> BDD-cost:    1
5.84	c ---[ 116]---> BDD-cost:    1
5.84	c ---[ 115]---> BDD-cost:   14
5.85	c ---[ 114]---> BDD-cost:   14
5.85	c ---[ 113]---> BDD-cost:    1
5.85	c ---[ 112]---> BDD-cost:    1
5.85	c ---[ 111]---> BDD-cost:   14
5.85	c ---[ 110]---> BDD-cost:   14
5.85	c ---[ 109]---> BDD-cost:    1
5.85	c ---[ 108]---> BDD-cost:    1
5.85	c ---[ 107]---> BDD-cost:   14
5.85	c ---[ 106]---> BDD-cost:   14
5.85	c ---[ 105]---> BDD-cost:    1
5.85	c ---[ 104]---> BDD-cost:    1
5.85	c ---[ 103]---> BDD-cost:   14
5.85	c ---[ 102]---> BDD-cost:   14
5.85	c ---[ 101]---> BDD-cost:    1
5.85	c ---[ 100]---> BDD-cost:    1
5.85	c ---[  99]---> BDD-cost:   14
5.85	c ---[  98]---> BDD-cost:   14
5.85	c ---[  97]---> BDD-cost:    1
5.85	c ---[  96]---> BDD-cost:    1
5.85	c ---[  95]---> BDD-cost:   14
5.85	c ---[  94]---> BDD-cost:   14
5.85	c ---[  93]---> BDD-cost:    1
5.85	c ---[  92]---> BDD-cost:    1
5.85	c ---[  91]---> BDD-cost:   14
5.85	c ---[  90]---> BDD-cost:   14
5.85	c ---[  89]---> BDD-cost:    1
5.85	c ---[  88]---> BDD-cost:    1
5.85	c ---[  87]---> BDD-cost:   14
5.85	c ---[  86]---> BDD-cost:   14
5.85	c ---[  85]---> BDD-cost:    1
5.85	c ---[  84]---> BDD-cost:    1
5.85	c ---[  83]---> BDD-cost:   14
5.85	c ---[  82]---> BDD-cost:   14
5.85	c ---[  81]---> BDD-cost:    1
5.85	c ---[  80]---> BDD-cost:    1
5.85	c ---[  79]---> BDD-cost:   14
5.85	c ---[  78]---> BDD-cost:   14
5.85	c ---[  77]---> BDD-cost:    1
5.85	c ---[  76]---> BDD-cost:    1
5.85	c ---[  75]---> BDD-cost:   14
5.85	c ---[  74]---> BDD-cost:   14
5.85	c ---[  73]---> BDD-cost:    1
5.85	c ---[  72]---> BDD-cost:    1
5.85	c ---[  71]---> BDD-cost:   14
5.85	c ---[  70]---> BDD-cost:   14
5.85	c ---[  69]---> BDD-cost:    1
5.85	c ---[  68]---> BDD-cost:    1
5.85	c ---[  67]---> BDD-cost:   14
5.85	c ---[  66]---> BDD-cost:   14
5.85	c ---[  65]---> BDD-cost:    1
5.85	c ---[  64]---> BDD-cost:    1
5.85	c ---[  63]---> BDD-cost:   14
5.85	c ---[  62]---> BDD-cost:   14
5.85	c ---[  61]---> BDD-cost:    1
5.85	c ---[  60]---> BDD-cost:    1
5.85	c ---[  59]---> BDD-cost:   14
5.85	c ---[  58]---> BDD-cost:   14
5.85	c ---[  57]---> BDD-cost:    1
5.85	c ---[  56]---> BDD-cost:    1
5.85	c ---[  55]---> BDD-cost:   14
5.85	c ---[  54]---> BDD-cost:   14
5.85	c ---[  53]---> BDD-cost:    1
5.85	c ---[  52]---> BDD-cost:    1
5.85	c ---[  51]---> BDD-cost:   14
5.85	c ---[  50]---> BDD-cost:   14
5.85	c ---[  49]---> BDD-cost:    1
5.85	c ---[  48]---> BDD-cost:    1
5.85	c ---[  47]---> BDD-cost:   14
5.85	c ---[  46]---> BDD-cost:   14
5.85	c ---[  45]---> BDD-cost:    1
5.85	c ---[  44]---> BDD-cost:    1
5.85	c ---[  43]---> BDD-cost:   14
5.85	c ---[  42]---> BDD-cost:   14
5.85	c ---[  41]---> BDD-cost:    1
5.85	c ---[  40]---> BDD-cost:    1
5.85	c ---[  39]---> BDD-cost:   14
5.85	c ---[  38]---> BDD-cost:   14
5.85	c ---[  37]---> BDD-cost:    1
5.85	c ---[  36]---> BDD-cost:    1
5.85	c ---[  35]---> BDD-cost:   14
5.85	c ---[  34]---> BDD-cost:   14
5.85	c ---[  33]---> BDD-cost:    1
5.85	c ---[  32]---> BDD-cost:    1
5.85	c ---[  31]---> BDD-cost:   14
5.85	c ---[  30]---> BDD-cost:   14
5.85	c ---[  29]---> BDD-cost:    1
5.85	c ---[  28]---> BDD-cost:    1
5.85	c ---[  27]---> BDD-cost:   14
5.85	c ---[  26]---> BDD-cost:   14
5.85	c ---[  25]---> BDD-cost:    1
5.86	c ---[  24]---> BDD-cost:    1
5.86	c ---[  23]---> BDD-cost:   14
5.86	c ---[  22]---> BDD-cost:   14
5.86	c ---[  21]---> BDD-cost:    1
5.86	c ---[  20]---> BDD-cost:    1
5.86	c ---[  19]---> BDD-cost:   14
5.86	c ---[  18]---> BDD-cost:   14
5.86	c ---[  17]---> BDD-cost:    1
5.86	c ---[  16]---> BDD-cost:    1
5.86	c ---[  15]---> BDD-cost:   14
5.86	c ---[  14]---> BDD-cost:   14
5.86	c ---[  13]---> BDD-cost:    1
5.86	c ---[  12]---> BDD-cost:    1
5.86	c ---[  11]---> BDD-cost:   14
5.86	c ---[  10]---> BDD-cost:   14
5.86	c ---[   9]---> BDD-cost:    1
5.86	c ---[   8]---> BDD-cost:    1
5.86	c ---[   7]---> BDD-cost:   14
5.86	c ---[   6]---> BDD-cost:   14
5.86	c ---[   5]---> BDD-cost:    1
5.86	c ---[   4]---> BDD-cost:    1
5.86	c ---[   3]---> BDD-cost:   14
5.86	c ---[   2]---> BDD-cost:   14
5.86	c ---[   1]---> BDD-cost:    1
5.86	c ---[   0]---> BDD-cost:    1
5.88	c ==================================[MINISAT+]==================================
5.88	c | Conflicts | Original         | Learnt                           | Progress |
5.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.88	c ==============================================================================
5.88	c |         0 |  199800   471219 |   66600       0        0     nan |  0.000 % |
6.26	c |       100 |  199800   471219 |   73260     100     4635    46.4 |  1.589 % |
6.63	c |       250 |  199687   470959 |   80586     248    24911   100.4 |  1.641 % |
7.00	c |       475 |  199687   470959 |   88644     473    81038   171.3 |  1.641 % |
7.97	c |       812 |  195737   462240 |   97509     798   102244   128.1 |  2.865 % |
8.60	c |      1320 |  195697   462149 |  107259    1302   143363   110.1 |  2.875 % |
10.29	c |      2080 |  194117   458824 |  117985    2050   205322   100.2 |  3.108 % |
12.86	c |      3219 |  193892   458308 |  129784    3183   387077   121.6 |  3.214 % |
17.93	c |      4927 |  193860   458239 |  142763    4885   603691   123.6 |  3.231 % |
25.82	c |      7489 |  193860   458239 |  157039    7447  1143240   153.5 |  3.231 % |
42.28	c |     11334 |  192448   454970 |  172743   11283  1831327   162.3 |  3.907 % |
64.52	c |     17100 |  192245   454503 |  190017   17043  2659394   156.0 |  4.004 % |
102.23	c |     25750 |  191600   453023 |  209019   25676  4058629   158.1 |  4.307 % |
172.40	c |     38724 |  184883   438192 |  229921   38577  5658276   146.7 |  6.381 % |
270.73	c |     58189 |  184746   437875 |  252913   58038  8063413   138.9 |  6.450 % |
433.89	c |     87386 |  184691   437747 |  278204   87233 11039744   126.6 |  6.480 % |
728.15	c |    131178 |  184321   436898 |  306025  130970 15805225   120.7 |  6.660 % |
1179.87	c |    196862 |  184263   436763 |  336627  196652 22573340   114.8 |  6.692 % |
1801.18	c 
1801.18	c *** TERMINATED ***
1801.18	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/node77/watcher-34847-1149238213 -o ROOT/results/node77/solver-34847-1149238213 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/34847-1149238213/instance-34847-1149238213.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.78 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1642144/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=1048 CPUtime=0
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 102 0 0 0 0 0 0 0 19 0 1 0 189460486 1073152 88 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 262 88 74 215 0 44 0

[startup+10.0019 s]
/proc/loadavg: 0.81 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1579176/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=64940 CPUtime=9.94
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16336 0 0 0 970 24 0 0 25 0 1 0 189460486 66498560 15821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16235 15821 106 215 0 16017 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 64940

[startup+20.0081 s]
/proc/loadavg: 0.84 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1579240/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=19.94
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16351 0 0 0 1970 24 0 0 25 0 1 0 189460486 66691072 15836 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15836 106 215 0 16064 0
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 65128

[startup+30.0143 s]
/proc/loadavg: 0.86 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1579304/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=29.94
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16353 0 0 0 2970 24 0 0 25 0 1 0 189460486 66691072 15838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15838 106 215 0 16064 0
Current children cumulated CPU time (s) 29.94
Current children cumulated vsize (Kb) 65128

[startup+40.0206 s]
/proc/loadavg: 0.89 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1579304/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=39.95
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16353 0 0 0 3971 24 0 0 25 0 1 0 189460486 66691072 15838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15838 106 215 0 16064 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 65128

[startup+50.0278 s]
/proc/loadavg: 0.90 0.94 0.90 2/67 26967
/proc/meminfo: memFree=1579368/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=49.95
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16353 0 0 0 4971 24 0 0 25 0 1 0 189460486 66691072 15838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572709 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15838 106 215 0 16064 0
Current children cumulated CPU time (s) 49.95
Current children cumulated vsize (Kb) 65128

[startup+60.0331 s]
/proc/loadavg: 0.92 0.95 0.90 2/67 26967
/proc/meminfo: memFree=1579368/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=59.95
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16353 0 0 0 5971 24 0 0 25 0 1 0 189460486 66691072 15838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15838 106 215 0 16064 0
Current children cumulated CPU time (s) 59.95
Current children cumulated vsize (Kb) 65128

[startup+70.0393 s]
/proc/loadavg: 0.93 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579304/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=69.96
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16372 0 0 0 6972 24 0 0 25 0 1 0 189460486 66691072 15857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15857 106 215 0 16064 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 65128

[startup+80.0455 s]
/proc/loadavg: 0.94 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579304/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=79.96
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16374 0 0 0 7972 24 0 0 25 0 1 0 189460486 66691072 15859 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15859 106 215 0 16064 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 65128

[startup+90.0518 s]
/proc/loadavg: 0.95 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579304/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=89.96
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16377 0 0 0 8972 24 0 0 25 0 1 0 189460486 66691072 15862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15862 106 215 0 16064 0
Current children cumulated CPU time (s) 89.96
Current children cumulated vsize (Kb) 65128

[startup+100.058 s]
/proc/loadavg: 0.96 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579240/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=99.97
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16379 0 0 0 9973 24 0 0 25 0 1 0 189460486 66691072 15864 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15864 106 215 0 16064 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 65128

[startup+110.064 s]
/proc/loadavg: 0.96 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579240/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65128 CPUtime=109.97
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16380 0 0 0 10973 24 0 0 25 0 1 0 189460486 66691072 15865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573805 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16282 15865 106 215 0 16064 0
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 65128

[startup+120.07 s]
/proc/loadavg: 0.97 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579112/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65292 CPUtime=119.97
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16409 0 0 0 11973 24 0 0 25 0 1 0 189460486 66859008 15894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16323 15894 106 215 0 16105 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 65292

[startup+130.077 s]
/proc/loadavg: 0.97 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579176/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65292 CPUtime=129.98
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16411 0 0 0 12974 24 0 0 25 0 1 0 189460486 66859008 15896 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16323 15896 106 215 0 16105 0
Current children cumulated CPU time (s) 129.98
Current children cumulated vsize (Kb) 65292

[startup+140.083 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579112/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65460 CPUtime=139.98
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16423 0 0 0 13974 24 0 0 25 0 1 0 189460486 67031040 15908 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16365 15908 106 215 0 16147 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 65460

[startup+150.089 s]
/proc/loadavg: 0.98 0.95 0.91 2/67 26967
/proc/meminfo: memFree=1579112/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65460 CPUtime=149.98
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16425 0 0 0 14974 24 0 0 25 0 1 0 189460486 67031040 15910 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16365 15910 106 215 0 16147 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 65460

[startup+160.095 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1578984/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65460 CPUtime=159.99
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16447 0 0 0 15975 24 0 0 25 0 1 0 189460486 67031040 15932 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16365 15932 106 215 0 16147 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 65460

[startup+170.102 s]
/proc/loadavg: 0.98 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1578792/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65744 CPUtime=169.99
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16499 0 0 0 16975 24 0 0 25 0 1 0 189460486 67321856 15984 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572721 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16436 15984 106 215 0 16218 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 65744

[startup+180.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1578664/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=65884 CPUtime=179.99
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16520 0 0 0 17975 24 0 0 25 0 1 0 189460486 67465216 16005 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16471 16005 106 215 0 16253 0
Current children cumulated CPU time (s) 179.99
Current children cumulated vsize (Kb) 65884

[startup+190.114 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1577768/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=66876 CPUtime=190
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 16755 0 0 0 18975 25 0 0 25 0 1 0 189460486 68481024 16240 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 16719 16240 106 215 0 16501 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 66876

[startup+200.12 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1576488/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=68052 CPUtime=200
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 17069 0 0 0 19975 25 0 0 25 0 1 0 189460486 69685248 16554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 17013 16554 106 215 0 16795 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 68052

[startup+210.127 s]
/proc/loadavg: 0.99 0.96 0.91 2/67 26967
/proc/meminfo: memFree=1575272/2055892 swapFree=4085336/4096564

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

[pid=26967] ppid=26965 vsize=174628 CPUtime=1781.44
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43248 0 0 0 178090 54 0 0 25 0 1 0 189460486 178819072 42724 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574147 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43657 42724 106 215 0 43439 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (Kb) 174628

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471272/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174756 CPUtime=1782.45
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43259 0 0 0 178191 54 0 0 25 0 1 0 189460486 178950144 42735 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43689 42735 106 215 0 43471 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 174756

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471208/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174756 CPUtime=1783.45
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43269 0 0 0 178291 54 0 0 25 0 1 0 189460486 178950144 42745 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577246 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43689 42745 106 215 0 43471 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 174756

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471208/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174756 CPUtime=1784.46
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43278 0 0 0 178392 54 0 0 25 0 1 0 189460486 178950144 42754 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43689 42754 106 215 0 43471 0
Current children cumulated CPU time (s) 1784.46
Current children cumulated vsize (Kb) 174756

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471144/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174756 CPUtime=1785.46
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43284 0 0 0 178492 54 0 0 25 0 1 0 189460486 178950144 42760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43689 42760 106 215 0 43471 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 174756

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471144/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174884 CPUtime=1786.47
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43289 0 0 0 178593 54 0 0 25 0 1 0 189460486 179081216 42765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43721 42765 106 215 0 43503 0
Current children cumulated CPU time (s) 1786.47
Current children cumulated vsize (Kb) 174884

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471080/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174884 CPUtime=1787.47
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43297 0 0 0 178693 54 0 0 25 0 1 0 189460486 179081216 42773 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43721 42773 106 215 0 43503 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 174884

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471080/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174884 CPUtime=1788.47
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43300 0 0 0 178793 54 0 0 25 0 1 0 189460486 179081216 42776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574290 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43721 42776 106 215 0 43503 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 174884

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471080/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=174884 CPUtime=1789.48
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43308 0 0 0 178894 54 0 0 25 0 1 0 189460486 179081216 42784 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43721 42784 106 215 0 43503 0
Current children cumulated CPU time (s) 1789.48
Current children cumulated vsize (Kb) 174884

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1471016/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175012 CPUtime=1790.48
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43322 0 0 0 178994 54 0 0 25 0 1 0 189460486 179212288 42798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43753 42798 106 215 0 43535 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 175012

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470952/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175012 CPUtime=1791.49
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43329 0 0 0 179095 54 0 0 25 0 1 0 189460486 179212288 42805 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43753 42805 106 215 0 43535 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (Kb) 175012

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470952/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175012 CPUtime=1792.49
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43339 0 0 0 179195 54 0 0 25 0 1 0 189460486 179212288 42815 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581093 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43753 42815 106 215 0 43535 0
Current children cumulated CPU time (s) 1792.49
Current children cumulated vsize (Kb) 175012

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470888/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175140 CPUtime=1793.5
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43356 0 0 0 179296 54 0 0 25 0 1 0 189460486 179343360 42832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43785 42832 106 215 0 43567 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 175140

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470824/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175140 CPUtime=1794.5
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43367 0 0 0 179396 54 0 0 25 0 1 0 189460486 179343360 42843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576199 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43785 42843 106 215 0 43567 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 175140

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470760/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175140 CPUtime=1795.51
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43380 0 0 0 179497 54 0 0 25 0 1 0 189460486 179343360 42856 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43785 42856 106 215 0 43567 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 175140

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470376/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175632 CPUtime=1796.51
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43487 0 0 0 179597 54 0 0 25 0 1 0 189460486 179847168 42963 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43908 42963 106 215 0 43690 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 175632

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470312/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175632 CPUtime=1797.51
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43498 0 0 0 179697 54 0 0 25 0 1 0 189460486 179847168 42974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43908 42974 106 215 0 43690 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (Kb) 175632

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470248/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175632 CPUtime=1798.52
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43502 0 0 0 179798 54 0 0 25 0 1 0 189460486 179847168 42978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576138 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43908 42978 106 215 0 43690 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 175632

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470248/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175632 CPUtime=1799.52
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43504 0 0 0 179898 54 0 0 25 0 1 0 189460486 179847168 42980 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43908 42980 106 215 0 43690 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 175632

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470248/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175760 CPUtime=1800.53
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43511 0 0 0 179999 54 0 0 25 0 1 0 189460486 179978240 42987 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43940 42987 106 215 0 43722 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 175760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 27162
/proc/meminfo: memFree=1470248/2055892 swapFree=4085336/4096564
[pid=26967] ppid=26965 vsize=175760 CPUtime=1800.53
/proc/26967/stat : 26967 (minisat+) R 26965 26967 26922 0 -1 4194304 43511 0 0 0 179999 54 0 0 25 0 1 0 189460486 179978240 42987 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/26967/statm: 43940 42987 106 215 0 43722 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 175760

Sending SIGTERM to -26967
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.21
CPU time (s): 1800.57
CPU user time (s): 1800
CPU system time (s): 0.574912
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (Kb): 175760

Launcher Data (download as text)

Begin job on node77 on Fri Jun  2 08:50:13 UTC 2006


FILE ID= 34847-1149238213

PBS_JOBID= 297197

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  939f54a73a83900b8b6d857af47a0b62

RANDOM SEED= 460149578


/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.238
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	: 6006.16
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.238
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1642544 kB
Buffers:         34088 kB
Cached:         312176 kB
SwapCached:       2644 kB
Active:         103892 kB
Inactive:       251220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1642544 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             292 kB
Writeback:           0 kB
Mapped:          16108 kB
Slab:            44908 kB
Committed_AS:   241688 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Fri Jun  2 09:20:14 UTC 2006