Trace number 419201

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.06 1800.55

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/fuhs/medium/AProVE07-16.opb
MD5SUM362e33c78c276102fbb7b01900861eae
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark871.177
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables52382
Total number of constraints182485
Number of constraints which are clauses182485
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint131
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 129
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 260
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
5.29/5.39	c Converting 181871 PB-constraints to clauses...
5.40/5.42	c   -- Unit propagations: (none)
5.40/5.43	c   -- Detecting intervals from adjacent constraints: ###################################################################################################################################################################################################################################################################################################################################
5.40/5.47	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
5.88/5.90	c ---[181868]---> BDD-cost:    1
5.88/5.90	c ---[181866]---> BDD-cost:    1
5.88/5.90	c ---[181864]---> BDD-cost:    1
5.88/5.90	c ---[181861]---> BDD-cost:    1
5.88/5.90	c ---[181857]---> BDD-cost:    1
5.88/5.90	c ---[181855]---> BDD-cost:    1
5.88/5.90	c ---[181853]---> BDD-cost:    1
5.88/5.90	c ---[181850]---> BDD-cost:    1
5.88/5.90	c ---[181846]---> BDD-cost:    1
5.88/5.90	c ---[181844]---> BDD-cost:    1
5.88/5.90	c ---[181842]---> BDD-cost:    1
5.88/5.90	c ---[181839]---> BDD-cost:    1
5.88/5.90	c ---[181835]---> BDD-cost:    1
5.88/5.90	c ---[181833]---> BDD-cost:    1
5.88/5.90	c ---[181831]---> BDD-cost:    1
5.88/5.90	c ---[181828]---> BDD-cost:    1
5.88/5.90	c ---[181824]---> BDD-cost:    1
5.88/5.90	c ---[181822]---> BDD-cost:    1
5.88/5.90	c ---[181820]---> BDD-cost:    1
5.88/5.90	c ---[181817]---> BDD-cost:    1
5.88/5.90	c ---[181813]---> BDD-cost:    1
5.88/5.90	c ---[181811]---> BDD-cost:    1
5.88/5.90	c ---[181809]---> BDD-cost:    1
5.88/5.90	c ---[181806]---> BDD-cost:    1
5.88/5.90	c ---[181802]---> BDD-cost:    1
5.88/5.90	c ---[181800]---> BDD-cost:    1
5.88/5.90	c ---[181798]---> BDD-cost:    1
5.88/5.90	c ---[181795]---> BDD-cost:    1
5.88/5.90	c ---[181791]---> BDD-cost:    1
5.88/5.90	c ---[181789]---> BDD-cost:    1
5.88/5.90	c ---[181787]---> BDD-cost:    1
5.88/5.90	c ---[181784]---> BDD-cost:    1
5.88/5.90	c ---[181780]---> BDD-cost:    1
5.88/5.90	c ---[181778]---> BDD-cost:    1
5.88/5.90	c ---[181776]---> BDD-cost:    1
5.88/5.90	c ---[181773]---> BDD-cost:    1
5.88/5.90	c ---[181769]---> BDD-cost:    1
5.88/5.90	c ---[181767]---> BDD-cost:    1
5.88/5.90	c ---[181765]---> BDD-cost:    1
5.88/5.90	c ---[181762]---> BDD-cost:    1
5.88/5.90	c ---[181758]---> BDD-cost:    1
5.88/5.90	c ---[181756]---> BDD-cost:    1
5.88/5.90	c ---[181754]---> BDD-cost:    1
5.88/5.90	c ---[181751]---> BDD-cost:    1
5.88/5.90	c ---[181747]---> BDD-cost:    1
5.88/5.90	c ---[181745]---> BDD-cost:    1
5.88/5.90	c ---[181743]---> BDD-cost:    1
5.88/5.90	c ---[181740]---> BDD-cost:    1
5.88/5.90	c ---[181736]---> BDD-cost:    1
5.88/5.90	c ---[181734]---> BDD-cost:    1
5.88/5.90	c ---[181732]---> BDD-cost:    1
5.88/5.90	c ---[181729]---> BDD-cost:    1
5.88/5.90	c ---[181725]---> BDD-cost:    1
5.88/5.90	c ---[181723]---> BDD-cost:    1
5.88/5.90	c ---[181721]---> BDD-cost:    1
5.88/5.90	c ---[181718]---> BDD-cost:    1
5.88/5.90	c ---[181714]---> BDD-cost:    1
5.88/5.90	c ---[181712]---> BDD-cost:    1
5.88/5.90	c ---[181710]---> BDD-cost:    1
5.88/5.90	c ---[181707]---> BDD-cost:    1
5.88/5.90	c ---[181703]---> BDD-cost:    1
5.88/5.90	c ---[181701]---> BDD-cost:    1
5.88/5.90	c ---[181699]---> BDD-cost:    1
5.88/5.90	c ---[181696]---> BDD-cost:    1
5.88/5.90	c ---[181692]---> BDD-cost:    1
5.88/5.90	c ---[181690]---> BDD-cost:    1
5.88/5.90	c ---[181688]---> BDD-cost:    1
5.88/5.90	c ---[181685]---> BDD-cost:    1
5.88/5.90	c ---[181681]---> BDD-cost:    1
5.88/5.90	c ---[181679]---> BDD-cost:    1
5.88/5.90	c ---[181677]---> BDD-cost:    1
5.88/5.90	c ---[181674]---> BDD-cost:    1
5.88/5.90	c ---[181660]---> BDD-cost:    1
5.88/5.90	c ---[181542]---> BDD-cost:    1
5.88/5.90	c ---[181490]---> BDD-cost:    1
5.88/5.90	c ---[181445]---> BDD-cost:    1
5.88/5.90	c ---[181440]---> BDD-cost:    1
5.88/5.90	c ---[181428]---> BDD-cost:    1
5.88/5.90	c ---[181419]---> BDD-cost:    1
5.88/5.90	c ---[181399]---> BDD-cost:    1
5.88/5.90	c ---[180762]---> BDD-cost:    1
5.88/5.90	c ---[180706]---> BDD-cost:    1
5.88/5.90	c ---[180669]---> BDD-cost:    1
5.88/5.90	c ---[180660]---> BDD-cost:    1
5.88/5.90	c ---[180647]---> BDD-cost:    1
5.88/5.90	c ---[180637]---> BDD-cost:    1
5.88/5.90	c ---[180627]---> BDD-cost:    1
5.88/5.90	c ---[180617]---> BDD-cost:    1
5.88/5.90	c ---[180607]---> BDD-cost:    1
5.88/5.90	c ---[180597]---> BDD-cost:    1
5.88/5.90	c ---[177592]---> BDD-cost:    1
5.88/5.90	c ---[176668]---> BDD-cost:    1
5.88/5.90	c ---[176636]---> BDD-cost:    1
5.88/5.90	c ---[176605]---> BDD-cost:    1
5.88/5.90	c ---[176574]---> BDD-cost:    1
5.88/5.90	c ---[176543]---> BDD-cost:    1
5.88/5.90	c ---[176512]---> BDD-cost:    1
5.88/5.90	c ---[176481]---> BDD-cost:    1
5.88/5.90	c ---[176450]---> BDD-cost:    1
5.88/5.90	c ---[176419]---> BDD-cost:    1
5.88/5.90	c ---[176392]---> BDD-cost:    1
5.88/5.90	c ---[176363]---> BDD-cost:    1
5.88/5.90	c ---[176361]---> BDD-cost:    1
5.88/5.90	c ---[176359]---> BDD-cost:    1
5.88/5.90	c ---[176357]---> BDD-cost:    1
5.88/5.90	c ---[176309]---> BDD-cost:    1
5.88/5.90	c ---[133167]---> BDD-cost:    1
5.88/5.90	c ---[130029]---> BDD-cost:    1
5.88/5.90	c ---[126937]---> BDD-cost:    1
5.88/5.90	c ---[124003]---> BDD-cost:    1
5.88/5.90	c ---[121154]---> BDD-cost:    1
5.88/5.90	c ---[118395]---> BDD-cost:    1
5.88/5.90	c ---[115728]---> BDD-cost:    1
5.88/5.90	c ---[113181]---> BDD-cost:    1
5.88/5.90	c ---[110701]---> BDD-cost:    1
5.88/5.90	c ---[108299]---> BDD-cost:    1
5.88/5.90	c ---[105997]---> BDD-cost:    1
5.88/5.90	c ---[103779]---> BDD-cost:    1
5.88/5.90	c ---[101614]---> BDD-cost:    1
5.88/5.90	c ---[99510]---> BDD-cost:    1
5.88/5.90	c ---[97553]---> BDD-cost:    1
5.88/5.90	c ---[95646]---> BDD-cost:    1
5.88/5.90	c ---[93789]---> BDD-cost:    1
5.88/5.90	c ---[92001]---> BDD-cost:    1
5.88/5.90	c ---[90294]---> BDD-cost:    1
5.88/5.90	c ---[88655]---> BDD-cost:    1
5.88/5.90	c ---[87110]---> BDD-cost:    1
5.88/5.90	c ---[85814]---> BDD-cost:    1
5.88/5.90	c ---[84596]---> BDD-cost:    1
5.88/5.90	c ---[83464]---> BDD-cost:    1
5.88/5.90	c ---[82451]---> BDD-cost:    1
5.88/5.90	c ---[81562]---> BDD-cost:    1
5.88/5.90	c ---[80777]---> BDD-cost:    1
5.88/5.90	c ---[80087]---> BDD-cost:    1
5.88/5.90	c ---[79494]---> BDD-cost:    1
5.88/5.90	c ---[79001]---> BDD-cost:    1
5.88/5.90	c ---[78588]---> BDD-cost:    1
5.88/5.90	c ---[78250]---> BDD-cost:    1
5.88/5.90	c ---[77972]---> BDD-cost:    1
5.88/5.90	c ---[77726]---> BDD-cost:    1
5.88/5.90	c ---[77517]---> BDD-cost:    1
5.88/5.90	c ---[77357]---> BDD-cost:    1
5.88/5.90	c ---[77249]---> BDD-cost:    1
5.88/5.90	c ---[77173]---> BDD-cost:    1
5.88/5.90	c ---[76186]---> BDD-cost:    1
5.88/5.90	c ---[76153]---> BDD-cost:    1
5.88/5.90	c ---[76121]---> BDD-cost:    1
5.88/5.90	c ---[76090]---> BDD-cost:    1
5.88/5.90	c ---[76059]---> BDD-cost:    1
5.88/5.90	c ---[76028]---> BDD-cost:    1
5.88/5.90	c ---[75997]---> BDD-cost:    1
5.88/5.90	c ---[75966]---> BDD-cost:    1
5.88/5.90	c ---[75935]---> BDD-cost:    1
5.88/5.91	c ---[75904]---> BDD-cost:    1
5.88/5.91	c ---[75873]---> BDD-cost:    1
5.88/5.91	c ---[75842]---> BDD-cost:    1
5.88/5.91	c ---[75811]---> BDD-cost:    1
5.88/5.91	c ---[75780]---> BDD-cost:    1
5.88/5.91	c ---[75753]---> BDD-cost:    1
5.88/5.91	c ---[75005]---> BDD-cost:    1
5.88/5.91	c ---[74303]---> BDD-cost:    1
5.88/5.91	c ---[74272]---> BDD-cost:    1
5.88/5.91	c ---[74241]---> BDD-cost:    1
5.88/5.91	c ---[74210]---> BDD-cost:    1
5.88/5.91	c ---[74179]---> BDD-cost:    1
5.88/5.91	c ---[74148]---> BDD-cost:    1
5.88/5.91	c ---[74117]---> BDD-cost:    1
5.88/5.91	c ---[74086]---> BDD-cost:    1
5.88/5.91	c ---[74055]---> BDD-cost:    1
5.88/5.91	c ---[74024]---> BDD-cost:    1
5.88/5.91	c ---[73992]---> BDD-cost:    1
5.88/5.91	c ---[73959]---> BDD-cost:    1
5.88/5.91	c ---[73923]---> BDD-cost:    1
5.88/5.91	c ---[73898]---> BDD-cost:    1
5.88/5.91	c ---[73209]---> BDD-cost:    1
5.88/5.91	c ---[72532]---> BDD-cost:    1
5.88/5.91	c ---[72500]---> BDD-cost:    1
5.88/5.91	c ---[72469]---> BDD-cost:    1
5.88/5.91	c ---[72438]---> BDD-cost:    1
5.88/5.91	c ---[72407]---> BDD-cost:    1
5.88/5.91	c ---[72376]---> BDD-cost:    1
5.88/5.91	c ---[72345]---> BDD-cost:    1
5.88/5.91	c ---[72314]---> BDD-cost:    1
5.88/5.91	c ---[72283]---> BDD-cost:    1
5.88/5.91	c ---[72257]---> BDD-cost:    1
5.88/5.91	c ---[71574]---> BDD-cost:    1
5.88/5.91	c ---[70649]---> BDD-cost:    1
5.88/5.91	c ---[70617]---> BDD-cost:    1
5.88/5.91	c ---[70586]---> BDD-cost:    1
5.88/5.91	c ---[70555]---> BDD-cost:    1
5.88/5.91	c ---[70524]---> BDD-cost:    1
5.88/5.91	c ---[70493]---> BDD-cost:    1
5.88/5.91	c ---[70462]---> BDD-cost:    1
5.88/5.91	c ---[70431]---> BDD-cost:    1
5.88/5.91	c ---[70400]---> BDD-cost:    1
5.88/5.91	c ---[70374]---> BDD-cost:    1
5.88/5.91	c ---[68174]---> BDD-cost:    1
5.88/5.91	c ---[67250]---> BDD-cost:    1
5.88/5.91	c ---[67218]---> BDD-cost:    1
5.88/5.91	c ---[67187]---> BDD-cost:    1
5.88/5.91	c ---[67156]---> BDD-cost:    1
5.88/5.91	c ---[67125]---> BDD-cost:    1
5.88/5.91	c ---[67094]---> BDD-cost:    1
5.88/5.91	c ---[67063]---> BDD-cost:    1
5.88/5.91	c ---[67032]---> BDD-cost:    1
5.88/5.91	c ---[67001]---> BDD-cost:    1
5.88/5.91	c ---[66975]---> BDD-cost:    1
5.88/5.91	c ---[66949]---> BDD-cost:    1
5.88/5.91	c ---[66245]---> BDD-cost:    1
5.88/5.91	c ---[65565]---> BDD-cost:    1
5.88/5.91	c ---[65533]---> BDD-cost:    1
5.88/5.91	c ---[65502]---> BDD-cost:    1
5.88/5.91	c ---[65471]---> BDD-cost:    1
5.88/5.91	c ---[65440]---> BDD-cost:    1
5.88/5.91	c ---[65409]---> BDD-cost:    1
5.88/5.91	c ---[65378]---> BDD-cost:    1
5.88/5.91	c ---[65347]---> BDD-cost:    1
5.88/5.91	c ---[65316]---> BDD-cost:    1
5.88/5.91	c ---[65290]---> BDD-cost:    1
5.88/5.91	c ---[65264]---> BDD-cost:    1
5.88/5.91	c ---[65251]---> BDD-cost:    1
5.88/5.91	c ---[64428]---> BDD-cost:    1
5.88/5.91	c ---[64363]---> BDD-cost:    1
5.88/5.91	c ---[64314]---> BDD-cost:    1
5.88/5.91	c ---[64282]---> BDD-cost:    1
5.88/5.91	c ---[64259]---> BDD-cost:    1
5.88/5.91	c ---[64236]---> BDD-cost:    1
5.88/5.91	c ---[64213]---> BDD-cost:    1
5.88/5.91	c ---[64190]---> BDD-cost:    1
5.88/5.91	c ---[64167]---> BDD-cost:    1
5.88/5.91	c ---[64144]---> BDD-cost:    1
5.88/5.91	c ---[64121]---> BDD-cost:    1
5.88/5.91	c ---[64098]---> BDD-cost:    1
5.88/5.91	c ---[64075]---> BDD-cost:    1
5.88/5.91	c ---[64057]---> BDD-cost:    1
5.88/5.91	c ---[64019]---> BDD-cost:    1
5.88/5.91	c ---[62950]---> BDD-cost:    1
5.88/5.91	c ---[62894]---> BDD-cost:    1
5.88/5.91	c ---[62855]---> BDD-cost:    1
5.88/5.91	c ---[62358]---> BDD-cost:    1
5.88/5.91	c ---[62327]---> BDD-cost:    1
5.88/5.91	c ---[62296]---> BDD-cost:    1
5.88/5.91	c ---[62265]---> BDD-cost:    1
5.88/5.91	c ---[62234]---> BDD-cost:    1
5.88/5.91	c ---[62203]---> BDD-cost:    1
5.88/5.91	c ---[62172]---> BDD-cost:    1
5.88/5.91	c ---[62141]---> BDD-cost:    1
5.88/5.91	c ---[62110]---> BDD-cost:    1
5.88/5.91	c ---[62076]---> BDD-cost:    1
5.88/5.91	c ---[62052]---> BDD-cost:    1
5.88/5.91	c ---[61365]---> BDD-cost:    1
5.88/5.91	c ---[60684]---> BDD-cost:    1
5.88/5.91	c ---[60652]---> BDD-cost:    1
5.88/5.91	c ---[60621]---> BDD-cost:    1
5.88/5.91	c ---[60590]---> BDD-cost:    1
5.88/5.91	c ---[60559]---> BDD-cost:    1
5.88/5.91	c ---[60528]---> BDD-cost:    1
5.88/5.91	c ---[60497]---> BDD-cost:    1
5.88/5.91	c ---[60466]---> BDD-cost:    1
5.88/5.91	c ---[60435]---> BDD-cost:    1
5.88/5.91	c ---[60409]---> BDD-cost:    1
5.88/5.91	c ---[60380]---> BDD-cost:    1
5.88/5.91	c ---[48896]---> BDD-cost:    1
5.88/5.91	c ---[46997]---> BDD-cost:    1
5.88/5.91	c ---[45087]---> BDD-cost:    1
5.88/5.91	c ---[43245]---> BDD-cost:    1
5.88/5.91	c ---[41410]---> BDD-cost:    1
5.88/5.91	c ---[39591]---> BDD-cost:    1
5.88/5.91	c ---[37793]---> BDD-cost:    1
5.88/5.91	c ---[36030]---> BDD-cost:    1
5.88/5.91	c ---[34287]---> BDD-cost:    1
5.88/5.91	c ---[32562]---> BDD-cost:    1
5.88/5.91	c ---[30886]---> BDD-cost:    1
5.88/5.91	c ---[29235]---> BDD-cost:    1
5.88/5.91	c ---[27609]---> BDD-cost:    1
5.88/5.91	c ---[26004]---> BDD-cost:    1
5.88/5.91	c ---[24433]---> BDD-cost:    1
5.88/5.91	c ---[22882]---> BDD-cost:    1
5.88/5.91	c ---[21349]---> BDD-cost:    1
5.88/5.91	c ---[19839]---> BDD-cost:    1
5.88/5.91	c ---[18364]---> BDD-cost:    1
5.88/5.91	c ---[16909]---> BDD-cost:    1
5.88/5.91	c ---[15472]---> BDD-cost:    1
5.88/5.91	c ---[14102]---> BDD-cost:    1
5.88/5.91	c ---[12768]---> BDD-cost:    1
5.88/5.91	c ---[11467]---> BDD-cost:    1
5.88/5.91	c ---[10209]---> BDD-cost:    1
5.88/5.91	c ---[9016]---> BDD-cost:    1
5.88/5.91	c ---[7879]---> BDD-cost:    1
5.88/5.91	c ---[6817]---> BDD-cost:    1
5.88/5.91	c ---[5957]---> BDD-cost:    1
5.88/5.91	c ---[5161]---> BDD-cost:    1
5.88/5.91	c ---[4433]---> BDD-cost:    1
5.88/5.91	c ---[3800]---> BDD-cost:    1
5.88/5.91	c ---[3267]---> BDD-cost:    1
5.88/5.91	c ---[2814]---> BDD-cost:    1
5.88/5.91	c ---[2432]---> BDD-cost:    1
5.88/5.91	c ---[2123]---> BDD-cost:    1
5.88/5.91	c ---[1890]---> BDD-cost:    1
5.88/5.91	c ---[1713]---> BDD-cost:    1
5.88/5.91	c ---[1585]---> BDD-cost:    1
5.88/5.91	c ---[1500]---> BDD-cost:    1
5.88/5.91	c ---[1435]---> BDD-cost:    1
5.88/5.91	c ---[1388]---> BDD-cost:    1
5.88/5.91	c ---[1164]---> BDD-cost:    1
5.88/5.91	c ---[1129]---> BDD-cost:    1
5.88/5.91	c ---[1098]---> BDD-cost:    1
5.88/5.91	c ---[1067]---> BDD-cost:    1
5.88/5.91	c ---[1037]---> BDD-cost:    1
5.88/5.91	c ---[1007]---> BDD-cost:    1
5.88/5.91	c ---[ 974]---> BDD-cost:    1
5.88/5.91	c ---[ 955]---> BDD-cost:    1
5.88/5.91	c ---[ 937]---> BDD-cost:    1
5.88/5.91	c ---[ 540]---> BDD-cost:    1
5.88/5.91	c ---[ 480]---> BDD-cost:    1
5.88/5.91	c ---[ 235]---> BDD-cost:    1
5.88/5.91	c ---[ 200]---> BDD-cost:    1
5.88/5.91	c ---[ 169]---> BDD-cost:    1
5.88/5.91	c ---[ 138]---> BDD-cost:    1
5.88/5.91	c ---[ 108]---> BDD-cost:    1
5.88/5.91	c ---[  78]---> BDD-cost:    1
5.88/5.91	c ---[  45]---> BDD-cost:    1
5.88/5.91	c ---[  23]---> BDD-cost:    1
5.88/5.92	c ==================================[MINISAT+]==================================
5.88/5.92	c | Conflicts | Original         | Learnt                           | Progress |
5.88/5.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.88/5.92	c ==============================================================================
5.88/5.92	c |         0 |  181871   471578 |   60623       0        0     nan |  0.000 % |
5.88/5.97	c |       100 |  181871   471578 |   66685     100      698     7.0 |  0.956 % |
6.09/6.19	c |       251 |  181871   471578 |   73353     251     9974    39.7 |  0.956 % |
6.39/6.46	c |       479 |  158170   411324 |   80689     477    30480    63.9 | 10.509 % |
7.08/7.19	c |       817 |  158162   411302 |   88758     814    71490    87.8 | 10.515 % |
7.98/8.07	c |      1323 |  157495   409571 |   97633    1317   128873    97.9 | 10.752 % |
9.89/9.99	c |      2082 |  157495   409571 |  107397    2076   192227    92.6 | 10.752 % |
11.99/12.04	c |      3222 |  155240   403773 |  118137    2915   261386    89.7 | 11.853 % |
13.88/13.90	c |      4930 |  155191   403652 |  129950    4619   471398   102.1 | 11.883 % |
16.88/16.93	c |      7492 |  155185   403636 |  142945    7180   716116    99.7 | 11.887 % |
20.68/20.78	c |     11336 |  155185   403636 |  157240   11024  1259044   114.2 | 11.887 % |
33.17/33.28	c |     17102 |  155171   403598 |  172964   16788  1944995   115.9 | 11.896 % |
48.67/48.74	c |     25751 |  155165   403582 |  190260   25436  3076814   121.0 | 11.900 % |
68.96/69.09	c |     38725 |  155153   403550 |  209287   38408  4852513   126.3 | 11.908 % |
102.76/102.84	c |     58187 |  155137   403506 |  230215   57868  7447673   128.7 | 11.919 % |
179.14/179.25	c |     87380 |  155131   403490 |  253237   87060 11063880   127.1 | 11.923 % |
294.61/294.74	c |    131172 |  155067   403319 |  278561  130848 19734572   150.8 | 11.972 % |
537.34/537.59	c |    196856 |  155043   403255 |  306417  196528 31148068   158.5 | 11.987 % |
1006.61/1006.94	c |    295382 |  155031   403225 |  337058  295050 45578406   154.5 | 11.993 % |
1631.04/1631.52	c |    443171 |  154995   403129 |  370764  103309 16701090   161.7 | 12.016 % |
1800.00/1800.50	c 
1800.00/1800.50	c *** TERMINATED ***
1800.00/1800.50	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb is already a linear file

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 6581
/proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=1048 CPUtime=0
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 59125810 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 262 103 75 215 0 44 0

[startup+0.0841569 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 6581
/proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=1852 CPUtime=0.08
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 312 0 0 0 8 0 0 0 18 0 1 0 59125810 1896448 298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 463 298 75 215 0 245 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1852

[startup+0.101159 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 6581
/proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=2020 CPUtime=0.1
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 355 0 0 0 10 0 0 0 18 0 1 0 59125810 2068480 341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808984 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 505 341 75 215 0 287 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2020

[startup+0.301182 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 6581
/proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=4184 CPUtime=0.29
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 871 0 0 0 29 0 0 0 19 0 1 0 59125810 4284416 857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 1046 857 75 215 0 828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4184

[startup+0.701229 s]
/proc/loadavg: 0.99 0.98 0.97 3/64 6581
/proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=8064 CPUtime=0.69
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 1860 0 0 0 69 0 0 0 23 0 1 0 59125810 8257536 1846 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 2016 1846 75 215 0 1798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8064

[startup+1.50132 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1755520/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=16292 CPUtime=1.49
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 3836 0 0 0 147 2 0 0 25 0 1 0 59125810 16683008 3822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 4073 3822 75 215 0 3855 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16292

[startup+3.10151 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1744576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=32264 CPUtime=3.09
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 7839 0 0 0 305 4 0 0 25 0 1 0 59125810 33038336 7775 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 8066 7775 75 215 0 7848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32264

[startup+6.30171 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1710272/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=64560 CPUtime=6.29
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16195 0 0 0 598 31 0 0 20 0 1 0 59125810 66109440 15741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6581/statm: 16140 15741 106 215 0 15922 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64560

[startup+12.7014 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1702592/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=64560 CPUtime=12.68
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16195 0 0 0 1237 31 0 0 25 0 1 0 59125810 66109440 15741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 16140 15741 106 215 0 15922 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64560

[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1702656/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=64560 CPUtime=25.48
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16209 0 0 0 2517 31 0 0 25 0 1 0 59125810 66109440 15755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 16140 15755 106 215 0 15922 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64560

[startup+51.1019 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1702592/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=64704 CPUtime=51.07
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16243 0 0 0 5076 31 0 0 25 0 1 0 59125810 66256896 15789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 16176 15789 106 215 0 15958 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 64704

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1696576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=70828 CPUtime=102.26
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 17757 0 0 0 10194 32 0 0 25 0 1 0 59125810 72527872 17303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 17707 17303 106 215 0 17489 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70828

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1684864/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=82752 CPUtime=162.24
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 20722 0 0 0 16188 36 0 0 25 0 1 0 59125810 84738048 20268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 20688 20268 106 215 0 20470 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 82752

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1668800/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=98876 CPUtime=222.22
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 24698 0 0 0 22182 40 0 0 25 0 1 0 59125810 101249024 24244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 24719 24244 106 215 0 24501 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 98876

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1648832/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=118948 CPUtime=282.21
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 29724 0 0 0 28175 46 0 0 25 0 1 0 59125810 121802752 29270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 29737 29270 106 215 0 29519 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 118948

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1639232/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=128420 CPUtime=342.19
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 32047 0 0 0 34170 49 0 0 25 0 1 0 59125810 131502080 31593 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 32105 31593 106 215 0 31887 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 128420

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1627200/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=140888 CPUtime=402.18
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 35145 0 0 0 40166 52 0 0 25 0 1 0 59125810 144269312 34691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 35222 34691 106 215 0 35004 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 140888

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1612672/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=155272 CPUtime=462.16
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 38717 0 0 0 46160 56 0 0 25 0 1 0 59125810 158998528 38263 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 38818 38263 106 215 0 38600 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 155272

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1600768/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=167296 CPUtime=522.14
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 41714 0 0 0 52156 58 0 0 25 0 1 0 59125810 171311104 41260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 41824 41260 106 215 0 41606 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 167296

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1591680/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=175904 CPUtime=582.13
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 43921 0 0 0 58153 60 0 0 25 0 1 0 59125810 180125696 43467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 43976 43467 106 215 0 43758 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 175904

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1587136/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=180888 CPUtime=642.11
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 45070 0 0 0 64150 61 0 0 25 0 1 0 59125810 185229312 44616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 45222 44616 106 215 0 45004 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 180888


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1553024/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=215024 CPUtime=882.05
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 53593 0 0 0 88132 73 0 0 25 0 1 0 59125810 220184576 53139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581448 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 53756 53139 106 215 0 53538 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 215024

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1544832/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=223476 CPUtime=942.03
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 55669 0 0 0 94129 74 0 0 25 0 1 0 59125810 228839424 55215 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 55869 55215 106 215 0 55651 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 223476

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1536576/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=231508 CPUtime=1002.01
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 57706 0 0 0 100124 77 0 0 25 0 1 0 59125810 237064192 57252 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 57877 57252 106 215 0 57659 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 231508

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1532480/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=235604 CPUtime=1062
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 58725 0 0 0 106122 78 0 0 25 0 1 0 59125810 241258496 58271 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 58901 58271 106 215 0 58683 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 235604

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1526720/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=241932 CPUtime=1121.98
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 60147 0 0 0 112118 80 0 0 25 0 1 0 59125810 247738368 59693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 60483 59693 106 215 0 60265 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 241932

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1522304/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=246488 CPUtime=1181.96
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 61254 0 0 0 118115 81 0 0 25 0 1 0 59125810 252403712 60800 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 61622 60800 106 215 0 61404 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 246488

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1519168/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=249712 CPUtime=1241.95
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 62026 0 0 0 124113 82 0 0 25 0 1 0 59125810 255705088 61572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 62428 61572 106 215 0 62210 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 249712

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1514368/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=254492 CPUtime=1301.94
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 63236 0 0 0 130110 84 0 0 25 0 1 0 59125810 260599808 62782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 63623 62782 106 215 0 63405 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 254492

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1506304/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=262588 CPUtime=1361.92
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 65255 0 0 0 136106 86 0 0 25 0 1 0 59125810 268890112 64801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 65647 64801 106 215 0 65429 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 262588

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1498752/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=270176 CPUtime=1421.91
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67131 0 0 0 142102 89 0 0 25 0 1 0 59125810 276660224 66677 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 67544 66677 106 215 0 67326 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 270176

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1481.89
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 148099 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 273148

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1541.87
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 154097 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579868 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 273148

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495552/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1601.85
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 160095 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 273148

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495552/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1661.83
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 166093 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 273148

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1721.82
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 172091 91 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 273148

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1781.81
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 178090 91 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581507 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67450 106 215 0 68069 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 273148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1800
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67905 0 0 0 179909 91 0 0 25 0 1 0 59125810 279703552 67451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67451 106 215 0 68069 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 273148

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.97 2/65 6582
/proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956
[pid=6581] ppid=6579 vsize=273148 CPUtime=1800
/proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67905 0 0 0 179909 91 0 0 25 0 1 0 59125810 279703552 67451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6581/statm: 68287 67451 106 215 0 68069 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 273148

Child status: 0
Real time (s): 1800.55
CPU time (s): 1800.06
CPU user time (s): 1799.1
CPU system time (s): 0.957854
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 273148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 0.957854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67906
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1727
involuntary context switches= 2166

runsolver used 1.57576 second user time and 3.79042 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Tue Apr 24 09:04:58 UTC 2007

IDJOB= 419201
IDBENCH= 47757
IDSOLVER= 156
FILE ID= node62/419201-1177405498

PBS_JOBID= 4675552

Free space on /tmp= 66491 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-16.opb
COMMAND LINE= /tmp/evaluation/419201-1177405498/minisat+ /tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-419201-1177405498 -o ROOT/results/node62/conversion-419201-1177405498 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  362e33c78c276102fbb7b01900861eae

RANDOM SEED= 14615861

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1766048 kB
Buffers:         34912 kB
Cached:         183856 kB
SwapCached:       2504 kB
Active:         116988 kB
Inactive:       112788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766048 kB
SwapTotal:     4192956 kB
SwapFree:      4184584 kB
Dirty:            8280 kB
Writeback:           0 kB
Mapped:          17412 kB
Slab:            46104 kB
Committed_AS:  1127164 kB
PageTables:       1464 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66491 MiB

End job on node62 on Tue Apr 24 09:35:01 UTC 2007