Trace number 419789

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat+ 1.14UNSAT 751.243 751.546

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/industrial/
manolios/manol-pipe-c6nidw_i.opb
MD5SUM0c63894d62f4302163b30af51999a51b
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 benchmark751.243
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables95863
Total number of constraints283363
Number of constraints which are clauses283363
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 constraint3
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
8.08/8.12	c Converting 283362 PB-constraints to clauses...
8.08/8.17	c   -- Unit propagations: (none)
8.08/8.18	c   -- Detecting intervals from adjacent constraints: (none)
8.08/8.19	c   -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.87/8.92	c ==================================[MINISAT+]==================================
8.87/8.92	c | Conflicts | Original         | Learnt                           | Progress |
8.87/8.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.87/8.92	c ==============================================================================
8.87/8.92	c |         0 |  283360   661173 |   94453       0        0     nan |  0.000 % |
8.96/9.04	c |       100 |  281897   657904 |  103898      94      704     7.5 |  0.362 % |
9.16/9.22	c |       250 |  279715   653083 |  114288     234     2235     9.6 |  0.847 % |
9.26/9.34	c |       475 |  279715   653083 |  125716     459     5666    12.3 |  0.847 % |
9.56/9.67	c |       814 |  279695   653041 |  138288     797     9868    12.4 |  0.850 % |
9.87/9.94	c |      1322 |  279695   653041 |  152117    1305    25103    19.2 |  0.850 % |
10.36/10.40	c |      2082 |  279695   653041 |  167329    2065    60127    29.1 |  0.850 % |
11.06/11.18	c |      3222 |  279227   652010 |  184062    3198   117701    36.8 |  1.029 % |
11.86/11.91	c |      4931 |  279154   651850 |  202468    4906   166603    34.0 |  1.044 % |
13.35/13.46	c |      7493 |  276530   645963 |  222715    7457   227372    30.5 |  1.713 % |
15.05/15.16	c |     11338 |  276050   644902 |  244986   11297   379505    33.6 |  1.822 % |
17.55/17.67	c |     17104 |  275670   644048 |  269485   17059   564867    33.1 |  1.924 % |
22.04/22.13	c |     25753 |  275542   643761 |  296433   25706   844755    32.9 |  1.956 % |
28.24/28.35	c |     38728 |  275542   643761 |  326077   38681  1624543    42.0 |  1.956 % |
39.74/39.80	c |     58190 |  275542   643761 |  358685   58143  2590364    44.6 |  1.956 % |
55.43/55.57	c |     87383 |  275542   643761 |  394553   87336  3727374    42.7 |  1.956 % |
86.42/86.52	c |    131172 |  275542   643761 |  434008  131125  5738752    43.8 |  1.956 % |
147.30/147.47	c |    196856 |  273934   640189 |  477409  175804  6925709    39.4 |  2.351 % |
264.86/265.02	c |    295383 |  273753   639783 |  525150  273788 11061296    40.4 |  2.401 % |
513.38/513.69	c |    443174 |  260418   609904 |  577665  300288 10383310    34.6 |  5.879 % |
751.19/751.52	c ==============================================================================
751.19/751.52	c UNSATISFIABLE
751.19/751.52	s UNSATISFIABLE
751.19/751.52	c _______________________________________________________________________________
751.19/751.52	c 
751.19/751.52	c restarts              : 20
751.19/751.52	c conflicts             : 548421         (731 /sec)
751.19/751.52	c decisions             : 2924727        (3896 /sec)
751.19/751.52	c propagations          : 0              (0 /sec)
751.19/751.52	c inspects              : 0              (0 /sec)
751.19/751.52	c CPU time              : 750.625 s
751.19/751.52	c _______________________________________________________________________________

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/419789-1177413092/instance-419789-1177413092.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/node39/watcher-419789-1177413092 -o ROOT/results/node39/solver-419789-1177413092 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419789-1177413092/minisat+ /tmp/evaluation/419789-1177413092/instance-419789-1177413092.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.86 0.97 0.99 3/77 29198
/proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=1048 CPUtime=0
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 112 0 0 0 0 0 0 0 18 0 1 0 189221347 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 262 98 74 215 0 44 0

[startup+0.065789 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 29198
/proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=1772 CPUtime=0.06
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 272 0 0 0 6 0 0 0 18 0 1 0 189221347 1814528 258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 443 258 74 215 0 225 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 1772

[startup+0.101795 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 29198
/proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=2056 CPUtime=0.09
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 372 0 0 0 9 0 0 0 18 0 1 0 189221347 2105344 358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 514 358 74 215 0 296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2056

[startup+0.301828 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 29198
/proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=4188 CPUtime=0.29
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 189221347 4288512 866 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 1047 866 74 215 0 829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4188

[startup+0.701896 s]
/proc/loadavg: 0.86 0.97 0.99 3/77 29198
/proc/meminfo: memFree=1833552/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=8164 CPUtime=0.69
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 1886 0 0 0 68 1 0 0 22 0 1 0 189221347 8359936 1872 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 2041 1872 74 215 0 1823 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8164

[startup+1.50203 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 29199
/proc/meminfo: memFree=1823304/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=16460 CPUtime=1.49
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 3899 0 0 0 147 2 0 0 25 0 1 0 189221347 16855040 3885 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 4115 3885 74 215 0 3897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16460

[startup+3.1013 s]
/proc/loadavg: 0.86 0.97 0.99 2/78 29199
/proc/meminfo: memFree=1812360/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=32124 CPUtime=3.09
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 7803 0 0 0 305 4 0 0 25 0 1 0 189221347 32894976 7739 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 8031 7739 74 215 0 7813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32124

[startup+6.30184 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1780296/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=64772 CPUtime=6.28
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 15628 0 0 0 619 9 0 0 25 0 1 0 189221347 66326528 15481 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 16193 15481 74 215 0 15975 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 64772

[startup+12.7019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1738568/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=97540 CPUtime=12.66
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24589 0 0 0 1224 42 0 0 25 0 1 0 189221347 99880960 23715 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0
/proc/29198/statm: 24385 23715 103 215 0 24167 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 97540

[startup+25.5011 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1738504/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=97688 CPUtime=25.44
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24636 0 0 0 2502 42 0 0 25 0 1 0 189221347 100032512 23762 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 24422 23762 103 215 0 24204 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 97688

[startup+51.1014 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1738120/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=97944 CPUtime=51.03
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24727 0 0 0 5060 43 0 0 25 0 1 0 189221347 100294656 23845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 24486 23845 103 215 0 24268 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 97944

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1737864/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=98392 CPUtime=102.22
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24796 0 0 0 10179 43 0 0 25 0 1 0 189221347 100753408 23914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 24598 23914 103 215 0 24380 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 98392

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1737352/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=98776 CPUtime=162.19
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 24913 0 0 0 16175 44 0 0 25 0 1 0 189221347 101146624 24031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580461 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 24694 24031 103 215 0 24476 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 98776

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1727752/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=108720 CPUtime=222.18
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 27324 0 0 0 22170 48 0 0 25 0 1 0 189221347 111329280 26442 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 27180 26442 103 215 0 26962 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 108720

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1719176/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=117016 CPUtime=282.16
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 29462 0 0 0 28165 51 0 0 25 0 1 0 189221347 119824384 28580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 29254 28580 103 215 0 29036 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 117016

[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1711944/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=124736 CPUtime=342.14
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 31252 0 0 0 34161 53 0 0 25 0 1 0 189221347 127729664 30370 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 31184 30370 103 215 0 30966 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 124736

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1707272/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=129228 CPUtime=402.11
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32403 0 0 0 40156 55 0 0 25 0 1 0 189221347 132329472 31521 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 32307 31521 103 215 0 32089 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 129228

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1707208/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=129364 CPUtime=462.09
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32412 0 0 0 46154 55 0 0 25 0 1 0 189221347 132468736 31530 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 32341 31530 103 215 0 32123 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 129364

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1707080/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=129364 CPUtime=522.07
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32436 0 0 0 52151 56 0 0 25 0 1 0 189221347 132468736 31554 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 32341 31554 103 215 0 32123 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 129364

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1706824/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=129708 CPUtime=582.05
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32494 0 0 0 58149 56 0 0 25 0 1 0 189221347 132820992 31612 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580442 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 32427 31612 103 215 0 32209 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 129708

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1705992/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=130412 CPUtime=642.04
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 32693 0 0 0 64147 57 0 0 25 0 1 0 189221347 133541888 31811 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 32603 31811 103 215 0 32385 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 130412

[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1702856/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=133488 CPUtime=702
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33462 0 0 0 70142 58 0 0 25 0 1 0 189221347 136691712 32580 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33372 32580 103 215 0 33154 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 133488

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

[startup+716.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1701832/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=134600 CPUtime=716.41
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33706 0 0 0 71582 59 0 0 25 0 1 0 189221347 137830400 32824 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33650 32824 103 215 0 33432 0
Current children cumulated CPU time (s) 716.41
Current children cumulated vsize (KiB) 134600

[startup+729.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1701000/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135280 CPUtime=729.2
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33907 0 0 0 72861 59 0 0 25 0 1 0 189221347 138526720 33025 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33820 33025 103 215 0 33602 0
Current children cumulated CPU time (s) 729.2
Current children cumulated vsize (KiB) 135280

[startup+742.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=742
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74141 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 742
Current children cumulated vsize (KiB) 135540

[startup+745.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=745.19
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74460 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581101 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 745.19
Current children cumulated vsize (KiB) 135540

[startup+748.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=748.39
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74780 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 748.39
Current children cumulated vsize (KiB) 135540

[startup+750.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=749.99
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 74940 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006666 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (KiB) 135540

[startup+751.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=750.79
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 75020 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 750.79
Current children cumulated vsize (KiB) 135540

[startup+751.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 29199
/proc/meminfo: memFree=1700808/2055920 swapFree=4159384/4192956
[pid=29198] ppid=29196 vsize=135540 CPUtime=751.19
/proc/29198/stat : 29198 (minisat+) R 29196 29198 29134 0 -1 4194304 33954 0 0 0 75060 59 0 0 25 0 1 0 189221347 138792960 33072 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135004763 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29198/statm: 33885 33072 103 215 0 33667 0
Current children cumulated CPU time (s) 751.19
Current children cumulated vsize (KiB) 135540

Child status: 20
Real time (s): 751.546
CPU time (s): 751.243
CPU user time (s): 750.625
CPU system time (s): 0.617906
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 135540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 750.625
system time used= 0.617906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33957
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= 3518
involuntary context switches= 1708

runsolver used 0.730888 second user time and 2.19667 second system time

The end

Launcher Data (download as text)

Begin job on node39 on Tue Apr 24 11:11:33 UTC 2007

IDJOB= 419789
IDBENCH= 47799
IDSOLVER= 156
FILE ID= node39/419789-1177413092

PBS_JOBID= 4675705

Free space on /tmp= 66479 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/manolios/manol-pipe-c6nidw_i.opb
COMMAND LINE= /tmp/evaluation/419789-1177413092/minisat+ /tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node39/convwatcher-419789-1177413092 -o ROOT/results/node39/conversion-419789-1177413092 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419789-1177413092/instance-419789-1177413092.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  0c63894d62f4302163b30af51999a51b

RANDOM SEED= 477054585

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node39.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.256
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.256
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:       1834024 kB
Buffers:         20844 kB
Cached:         112096 kB
SwapCached:      13940 kB
Active:          70768 kB
Inactive:        86044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1834024 kB
SwapTotal:     4192956 kB
SwapFree:      4159384 kB
Dirty:           10904 kB
Writeback:           0 kB
Mapped:          30788 kB
Slab:            50428 kB
Committed_AS:  1964608 kB
PageTables:       2012 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= 66479 MiB

End job on node39 on Tue Apr 24 11:24:05 UTC 2007