Trace number 349783

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat+ 1.14? (MO) 1245.2 1245.59

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-85-80.opb
MD5SUM0bff286f636188f318e01b1cd9504474
Bench CategorySATUNSAT-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6800
Total number of constraints285685
Number of constraints which are clauses285685
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 constraint2
Maximum length of a constraint80
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
7.89/7.91	c Converting 285685 PB-constraints to clauses...
7.89/7.94	c   -- Unit propagations: (none)
7.89/7.94	c   -- Detecting intervals from adjacent constraints: (none)
7.98/8.04	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.58/8.69	c ==================================[MINISAT+]==================================
8.58/8.69	c | Conflicts | Original         | Learnt                           | Progress |
8.58/8.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.58/8.69	c ==============================================================================
8.58/8.69	c |         0 |  285685   578000 |   95228       0        0     nan |  0.000 % |
8.68/8.72	c |       100 |  285685   578000 |  104750     100    38155   381.6 |  0.000 % |
8.68/8.74	c |       251 |  285685   578000 |  115225     251    79696   317.5 |  0.000 % |
8.78/8.84	c |       476 |  285685   578000 |  126748     476   320120   672.5 |  0.000 % |
8.88/8.98	c |       813 |  285685   578000 |  139423     813   600126   738.2 |  0.000 % |
9.08/9.11	c |      1320 |  285685   578000 |  153365    1320   816335   618.4 |  0.000 % |
9.28/9.30	c |      2079 |  285685   578000 |  168702    2079  1099636   528.9 |  0.000 % |
9.58/9.61	c |      3218 |  285685   578000 |  185572    3218  1596278   496.0 |  0.000 % |
10.18/10.28	c |      4926 |  285685   578000 |  204129    4926  2756705   559.6 |  0.000 % |
11.18/11.20	c |      7489 |  285685   578000 |  224542    7489  4141514   553.0 |  0.000 % |
12.68/12.79	c |     11337 |  285685   578000 |  246996   11337  5945633   524.4 |  0.000 % |
16.27/16.30	c |     17103 |  285685   578000 |  271696   17103  9086433   531.3 |  0.000 % |
21.37/21.47	c |     25752 |  285685   578000 |  298866   25752 13368240   519.1 |  0.000 % |
37.78/37.87	c |     38726 |  285685   578000 |  328752   38726 32122026   829.5 |  0.000 % |
95.26/95.33	c |     58189 |  285685   578000 |  361628   58189 64626517  1110.6 |  0.000 % |
156.24/156.35	c |     87381 |  285685   578000 |  397790   87381 107022302  1224.8 |  0.000 % |
292.90/293.08	c |    131173 |  285685   578000 |  437570  131173 166890504  1272.3 |  0.000 % |
609.39/609.63	c |    196857 |  285685   578000 |  481327  196857 300956480  1528.8 |  0.000 % |
1244.91/1245.30	c 
1244.91/1245.30	c *** TERMINATED ***
1244.91/1245.30	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node73/watcher-349783-1176715171 -o ROOT/results/node73/solver-349783-1176715171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349783-1176715171/minisat+ /tmp/evaluation/349783-1176715171/instance-349783-1176715171.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: 1.00 1.00 0.91 3/66 2814
/proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1048 CPUtime=0
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 370449 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 262 110 74 215 0 44 0

[startup+0.087666 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 2814
/proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=2376 CPUtime=0.08
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 438 0 0 0 8 0 0 0 18 0 1 0 370449 2433024 423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 594 423 74 215 0 376 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2376

[startup+0.101667 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 2814
/proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=2508 CPUtime=0.09
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 468 0 0 0 9 0 0 0 18 0 1 0 370449 2568192 453 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 627 453 74 215 0 409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2508

[startup+0.301684 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 2814
/proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=4312 CPUtime=0.29
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 889 0 0 0 29 0 0 0 19 0 1 0 370449 4415488 874 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 1078 874 74 215 0 860 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4312

[startup+0.70172 s]
/proc/loadavg: 1.00 1.00 0.91 3/66 2814
/proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=7584 CPUtime=0.69
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 1707 0 0 0 68 1 0 0 22 0 1 0 370449 7766016 1692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 1896 1692 74 215 0 1678 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7584

[startup+1.50179 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1916128/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=14144 CPUtime=1.49
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 3345 0 0 0 147 2 0 0 25 0 1 0 370449 14483456 3330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 3536 3330 74 215 0 3318 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14144

[startup+3.10294 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1906976/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=27156 CPUtime=3.09
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 6581 0 0 0 304 5 0 0 25 0 1 0 370449 27807744 6566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 6789 6566 74 215 0 6571 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27156

[startup+6.30122 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1880096/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=53116 CPUtime=6.29
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 13039 0 0 0 620 9 0 0 25 0 1 0 370449 54390784 13024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 13279 13024 74 215 0 13061 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53116

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1846816/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=78932 CPUtime=12.68
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 19572 0 0 0 1228 40 0 0 25 0 1 0 370449 80826368 19517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576808 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 19733 19517 103 215 0 19515 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 78932

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1804512/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=122832 CPUtime=25.47
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 30563 0 0 0 2502 45 0 0 25 0 1 0 370449 125779968 30508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574211 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 30708 30508 103 215 0 30490 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 122832

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1710368/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=216940 CPUtime=51.07
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 54076 0 0 0 5051 56 0 0 25 0 1 0 370449 222146560 54021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584073 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 54235 54021 103 215 0 54017 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 216940

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1597792/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=328084 CPUtime=102.25
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 81838 0 0 0 10153 72 0 0 25 0 1 0 370449 335958016 81783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006600 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 82021 81783 103 215 0 81803 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 328084

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1438752/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=488796 CPUtime=162.23
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 122033 0 0 0 16128 95 0 0 25 0 1 0 370449 500527104 121978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 122199 121978 103 215 0 121981 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 488796

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 2815
/proc/meminfo: memFree=1322848/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=602520 CPUtime=222.23
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 150408 0 0 0 22111 112 0 0 25 0 1 0 370449 616980480 150353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 150630 150353 103 215 0 150412 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 602520

[startup+282.301 s]
/proc/loadavg: 1.06 1.01 0.91 2/66 3243
/proc/meminfo: memFree=1192352/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=697144 CPUtime=282.2
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 174060 0 0 0 28092 128 0 0 25 0 1 0 370449 713875456 174005 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 174286 174005 103 215 0 174068 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 697144

[startup+342.301 s]
/proc/loadavg: 1.02 1.01 0.91 2/66 3243
/proc/meminfo: memFree=1066336/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=823012 CPUtime=342.18
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 205454 0 0 0 34073 145 0 0 25 0 1 0 370449 842764288 205399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 205753 205399 103 215 0 205535 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 823012

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=959520/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=930360 CPUtime=402.17
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 232288 0 0 0 40059 158 0 0 25 0 1 0 370449 952688640 232233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 232590 232233 103 215 0 232372 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 930360

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=864224/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1024632 CPUtime=462.15
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 255825 0 0 0 46044 171 0 0 25 0 1 0 370449 1049223168 255770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 256158 255770 103 215 0 255940 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1024632

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=773344/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1116092 CPUtime=522.13
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 278685 0 0 0 52029 184 0 0 25 0 1 0 370449 1142878208 278630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 279023 278630 103 215 0 278805 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1116092

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=684584/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1204084 CPUtime=582.1
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 300668 0 0 0 58014 196 0 0 25 0 1 0 370449 1232982016 300613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 301021 300613 103 215 0 300803 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1204084

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=598120/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1289608 CPUtime=642.09
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 322077 0 0 0 64000 209 0 0 25 0 1 0 370449 1320558592 322022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 322402 322022 103 215 0 322184 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 1289608

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=523432/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1365324 CPUtime=702.07
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 340903 0 0 0 69986 221 0 0 25 0 1 0 370449 1398091776 340848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 341331 340848 103 215 0 341113 0
Current children cumulated CPU time (s) 702.07
Current children cumulated vsize (KiB) 1365324

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=451752/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1436200 CPUtime=762.05
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 358616 0 0 0 75975 230 0 0 25 0 1 0 370449 1470668800 358561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 359050 358561 103 215 0 358832 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 1436200

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=393640/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1494992 CPUtime=822.03
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 373302 0 0 0 81964 239 0 0 25 0 1 0 370449 1530871808 373247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 373748 373247 103 215 0 373530 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 1494992

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=347560/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1540340 CPUtime=882.01
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 384616 0 0 0 87956 245 0 0 25 0 1 0 370449 1577308160 384561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 385085 384561 103 215 0 384867 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 1540340

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=292776/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1595844 CPUtime=942
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 398487 0 0 0 93946 254 0 0 25 0 1 0 370449 1634144256 398432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 398961 398432 103 215 0 398743 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 1595844

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=243880/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1643956 CPUtime=1001.98
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 410532 0 0 0 99937 261 0 0 25 0 1 0 370449 1683410944 410477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 410989 410477 103 215 0 410771 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 1643956

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=189928/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1698428 CPUtime=1061.96
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 424124 0 0 0 105927 269 0 0 25 0 1 0 370449 1739190272 424069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 424607 424069 103 215 0 424389 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 1698428

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=134824/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1753032 CPUtime=1121.94
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 437787 0 0 0 111917 277 0 0 25 0 1 0 370449 1795104768 437732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 438258 437732 103 215 0 438040 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 1753032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=94120/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1794144 CPUtime=1181.92
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 448002 0 0 0 117909 283 0 0 25 0 1 0 370449 1837203456 447947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 448536 447947 103 215 0 448318 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 1794144

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=47720/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1840360 CPUtime=1241.91
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 459539 0 0 0 123900 291 0 0 25 0 1 0 370449 1884528640 459484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 460090 459484 103 215 0 459872 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1840360



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1245.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=1843200 CPUtime=1244.91
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 460235 0 0 0 124200 291 0 0 25 0 1 0 370449 1887436800 460180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 460800 460180 103 215 0 460582 0
Current children cumulated CPU time (s) 1244.91
Current children cumulated vsize (KiB) 1843200

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

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

[startup+1245.41 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=0 CPUtime=1245.01
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194308 460237 0 0 0 124200 301 0 0 25 0 1 0 370449 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1245.01
Current children cumulated vsize (KiB) 0

[startup+1245.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 3243
/proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956
[pid=2814] ppid=2812 vsize=0 CPUtime=1245.1
/proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194308 460237 0 0 0 124200 310 0 0 25 0 1 0 370449 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0
/proc/2814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1245.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1245.59
CPU time (s): 1245.2
CPU user time (s): 1242.01
CPU system time (s): 3.19651
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1843200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1242.01
system time used= 3.19651
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460237
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= 1232
involuntary context switches= 1739

runsolver used 1.47578 second user time and 3.70544 second system time

The end

Launcher Data (download as text)

Begin job on node73 on Mon Apr 16 09:19:32 UTC 2007

IDJOB= 349783
IDBENCH= 2593
IDSOLVER= 156
FILE ID= node73/349783-1176715171

PBS_JOBID= 4559443

Free space on /tmp= 66553 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
COMMAND LINE= /tmp/evaluation/349783-1176715171/minisat+ /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node73/convwatcher-349783-1176715171 -o ROOT/results/node73/conversion-349783-1176715171 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  0bff286f636188f318e01b1cd9504474

RANDOM SEED= 170155565

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node73.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.212
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.212
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:       1925504 kB
Buffers:         18464 kB
Cached:          67352 kB
SwapCached:          0 kB
Active:          57852 kB
Inactive:        43384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1925504 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            9556 kB
Writeback:           0 kB
Mapped:          25888 kB
Slab:            15184 kB
Committed_AS:    59392 kB
PageTables:       1432 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= 66553 MiB

End job on node73 on Mon Apr 16 09:40:19 UTC 2007