Trace number 46114

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.14Signal 1245.57 1245.88

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	c Parsing PB file...
7.84	c Converting 285685 PB-constraints to clauses...
7.87	c   -- Unit propagations: (none)
7.87	c   -- Detecting intervals from adjacent constraints: (none)
7.98	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.64	c ==================================[MINISAT+]==================================
8.64	c | Conflicts | Original         | Learnt                           | Progress |
8.64	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.64	c ==============================================================================
8.64	c |         0 |  285685   578000 |   95228       0        0     nan |  0.000 % |
8.67	c |       100 |  285685   578000 |  104750     100    38155   381.6 |  0.000 % |
8.69	c |       251 |  285685   578000 |  115225     251    79696   317.5 |  0.000 % |
8.79	c |       476 |  285685   578000 |  126748     476   320120   672.5 |  0.000 % |
8.93	c |       813 |  285685   578000 |  139423     813   600126   738.2 |  0.000 % |
9.06	c |      1320 |  285685   578000 |  153365    1320   816335   618.4 |  0.000 % |
9.25	c |      2079 |  285685   578000 |  168702    2079  1099636   528.9 |  0.000 % |
9.57	c |      3218 |  285685   578000 |  185572    3218  1596278   496.0 |  0.000 % |
10.25	c |      4926 |  285685   578000 |  204129    4926  2756705   559.6 |  0.000 % |
11.19	c |      7489 |  285685   578000 |  224542    7489  4141514   553.0 |  0.000 % |
12.79	c |     11337 |  285685   578000 |  246996   11337  5945633   524.4 |  0.000 % |
16.32	c |     17103 |  285685   578000 |  271696   17103  9086433   531.3 |  0.000 % |
21.44	c |     25752 |  285685   578000 |  298866   25752 13368240   519.1 |  0.000 % |
37.90	c |     38726 |  285685   578000 |  328752   38726 32122026   829.5 |  0.000 % |
95.48	c |     58189 |  285685   578000 |  361628   58189 64626517  1110.6 |  0.000 % |
156.40	c |     87381 |  285685   578000 |  397790   87381 107022302  1224.8 |  0.000 % |
293.04	c |    131173 |  285685   578000 |  437570  131173 166890504  1272.3 |  0.000 % |
609.40	c |    196857 |  285685   578000 |  481327  196857 300956480  1528.8 |  0.000 % |
1245.59	minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node69/watcher-46114-1149804797 -o ROOT/results/node69/solver-46114-1149804797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1801004/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1048 CPUtime=0
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 246149782 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 262 99 74 215 0 44 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1723060/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=78932 CPUtime=9.98
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 19572 0 0 0 958 40 0 0 25 0 1 0 246149782 80826368 19517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 19733 19517 103 215 0 19515 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 78932

[startup+20.0092 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1707964/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=94012 CPUtime=19.99
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 23363 0 0 0 1957 42 0 0 25 0 1 0 246149782 96268288 23308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 23503 23308 103 215 0 23285 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 94012

[startup+30.0161 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1659132/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=142820 CPUtime=30
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 35553 0 0 0 2953 47 0 0 25 0 1 0 246149782 146247680 35498 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 35705 35498 103 215 0 35487 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 142820

[startup+40.0219 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1618876/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=183100 CPUtime=39.99
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 45621 0 0 0 3948 51 0 0 25 0 1 0 246149782 187494400 45566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 45775 45566 103 215 0 45557 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 183100

[startup+50.0277 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1588604/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=213480 CPUtime=50
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 53196 0 0 0 4945 55 0 0 25 0 1 0 246149782 218603520 53141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 53370 53141 103 215 0 53152 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 213480

[startup+60.0335 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1561340/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=240624 CPUtime=60
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 59995 0 0 0 5942 58 0 0 25 0 1 0 246149782 246398976 59940 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 60156 59940 103 215 0 59938 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 240624

[startup+70.0394 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1545660/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=256300 CPUtime=70
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 63898 0 0 0 6939 61 0 0 25 0 1 0 246149782 262451200 63843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 64075 63843 103 215 0 63857 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 256300

[startup+80.0452 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1529340/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=272496 CPUtime=80.01
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 67971 0 0 0 7938 63 0 0 25 0 1 0 246149782 279035904 67916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 68124 67916 103 215 0 67906 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 272496

[startup+90.051 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1510204/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=291708 CPUtime=90.02
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 72764 0 0 0 8936 66 0 0 25 0 1 0 246149782 298708992 72709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 72927 72709 103 215 0 72709 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 291708

[startup+100.056 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1483196/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=318816 CPUtime=100.02
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 79502 0 0 0 9931 71 0 0 25 0 1 0 246149782 326467584 79447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 79704 79447 103 215 0 79486 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 318816

[startup+110.062 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1443516/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=358372 CPUtime=110.02
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 89398 0 0 0 10926 76 0 0 25 0 1 0 246149782 366972928 89343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 89593 89343 103 215 0 89375 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 358372

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1413756/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=388068 CPUtime=120.03
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 96816 0 0 0 11922 81 0 0 25 0 1 0 246149782 397381632 96761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 97017 96761 103 215 0 96799 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 388068

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1386748/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=415004 CPUtime=130.03
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 103563 0 0 0 12918 85 0 0 25 0 1 0 246149782 424964096 103508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 103751 103508 103 215 0 103533 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 415004

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1362044/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=439676 CPUtime=140.03
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 109719 0 0 0 13915 88 0 0 25 0 1 0 246149782 450228224 109664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 109919 109664 103 215 0 109701 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 439676

[startup+150.085 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1339388/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=462260 CPUtime=150.04
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 115378 0 0 0 14914 90 0 0 25 0 1 0 246149782 473354240 115323 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 115565 115323 103 215 0 115347 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 462260

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1319484/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=482164 CPUtime=160.03
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 120340 0 0 0 15910 93 0 0 25 0 1 0 246149782 493735936 120285 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 120541 120285 103 215 0 120323 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 482164

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1293884/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=507816 CPUtime=170.04
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 126734 0 0 0 16907 97 0 0 25 0 1 0 246149782 520003584 126679 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 126954 126679 103 215 0 126736 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 507816

[startup+180.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1273148/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=528628 CPUtime=180.04
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 131917 0 0 0 17904 100 0 0 25 0 1 0 246149782 541315072 131862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 132157 131862 103 215 0 131939 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 528628

[startup+190.108 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1252348/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=549216 CPUtime=190.04
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 137094 0 0 0 18902 102 0 0 25 0 1 0 246149782 562397184 137039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 137304 137039 103 215 0 137086 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 549216

[startup+200.114 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=1234876/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=566684 CPUtime=200.05
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 141454 0 0 0 19900 105 0 0 25 0 1 0 246149782 580284416 141399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 141671 141399 103 215 0 141453 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 566684

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045

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

Current children cumulated CPU time (s) 1030.34
Current children cumulated vsize (Kb) 1669904

[startup+1040.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=121348/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1678872 CPUtime=1040.33
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 419259 0 0 0 103773 260 0 0 25 0 1 0 246149782 1719164928 419204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576704 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 419718 419204 103 215 0 419500 0
Current children cumulated CPU time (s) 1040.33
Current children cumulated vsize (Kb) 1678872

[startup+1050.6 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=112004/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1688216 CPUtime=1050.34
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 421599 0 0 0 104772 262 0 0 25 0 1 0 246149782 1728733184 421544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 422054 421544 103 215 0 421836 0
Current children cumulated CPU time (s) 1050.34
Current children cumulated vsize (Kb) 1688216

[startup+1060.61 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=103556/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1696692 CPUtime=1060.35
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 423696 0 0 0 105772 263 0 0 25 0 1 0 246149782 1737412608 423641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 424173 423641 103 215 0 423955 0
Current children cumulated CPU time (s) 1060.35
Current children cumulated vsize (Kb) 1696692

[startup+1070.62 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=94724/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1705568 CPUtime=1070.35
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 425906 0 0 0 106771 264 0 0 25 0 1 0 246149782 1746501632 425851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 426392 425851 103 215 0 426174 0
Current children cumulated CPU time (s) 1070.35
Current children cumulated vsize (Kb) 1705568

[startup+1080.62 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=85636/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1714612 CPUtime=1080.35
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 428176 0 0 0 107770 265 0 0 25 0 1 0 246149782 1755762688 428121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 428653 428121 103 215 0 428435 0
Current children cumulated CPU time (s) 1080.35
Current children cumulated vsize (Kb) 1714612

[startup+1090.63 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=76612/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1723544 CPUtime=1090.35
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 430421 0 0 0 108769 266 0 0 25 0 1 0 246149782 1764909056 430366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 430886 430366 103 215 0 430668 0
Current children cumulated CPU time (s) 1090.35
Current children cumulated vsize (Kb) 1723544

[startup+1100.63 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=66308/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1733820 CPUtime=1100.36
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 432989 0 0 0 109768 268 0 0 25 0 1 0 246149782 1775431680 432934 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 433455 432934 103 215 0 433237 0
Current children cumulated CPU time (s) 1100.36
Current children cumulated vsize (Kb) 1733820

[startup+1110.64 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=58052/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1742116 CPUtime=1110.36
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 435046 0 0 0 110766 270 0 0 25 0 1 0 246149782 1783926784 434991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 435529 434991 103 215 0 435311 0
Current children cumulated CPU time (s) 1110.36
Current children cumulated vsize (Kb) 1742116

[startup+1120.64 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=48708/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1751464 CPUtime=1120.36
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 437372 0 0 0 111765 271 0 0 25 0 1 0 246149782 1793499136 437317 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 437866 437317 103 215 0 437648 0
Current children cumulated CPU time (s) 1120.36
Current children cumulated vsize (Kb) 1751464

[startup+1130.65 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=40964/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1759108 CPUtime=1130.37
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 439301 0 0 0 112765 272 0 0 25 0 1 0 246149782 1801326592 439246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 439777 439246 103 215 0 439559 0
Current children cumulated CPU time (s) 1130.37
Current children cumulated vsize (Kb) 1759108

[startup+1140.66 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=34756/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1765304 CPUtime=1140.37
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 440848 0 0 0 113764 273 0 0 25 0 1 0 246149782 1807671296 440793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 441326 440793 103 215 0 441108 0
Current children cumulated CPU time (s) 1140.37
Current children cumulated vsize (Kb) 1765304

[startup+1150.66 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=28164/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1772036 CPUtime=1150.37
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 442490 0 0 0 114763 274 0 0 25 0 1 0 246149782 1814564864 442435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 443009 442435 103 215 0 442791 0
Current children cumulated CPU time (s) 1150.37
Current children cumulated vsize (Kb) 1772036

[startup+1160.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=22084/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1778188 CPUtime=1160.38
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 444029 0 0 0 115763 275 0 0 25 0 1 0 246149782 1820864512 443974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 444547 443974 103 215 0 444329 0
Current children cumulated CPU time (s) 1160.38
Current children cumulated vsize (Kb) 1778188

[startup+1170.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1785520 CPUtime=1170.38
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 445874 0 0 0 116761 277 0 0 25 0 1 0 246149782 1828372480 445819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 446380 445819 103 215 0 446162 0
Current children cumulated CPU time (s) 1170.38
Current children cumulated vsize (Kb) 1785520

[startup+1180.68 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=15044/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1792840 CPUtime=1180.38
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 447681 0 0 0 117760 278 0 0 25 0 1 0 246149782 1835868160 447626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 448210 447626 103 215 0 447992 0
Current children cumulated CPU time (s) 1180.38
Current children cumulated vsize (Kb) 1792840

[startup+1190.69 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=15876/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1799664 CPUtime=1190.39
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 449389 0 0 0 118760 279 0 0 25 0 1 0 246149782 1842855936 449334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 449916 449334 103 215 0 449698 0
Current children cumulated CPU time (s) 1190.39
Current children cumulated vsize (Kb) 1799664

[startup+1200.69 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=15236/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1806608 CPUtime=1200.39
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 451114 0 0 0 119759 280 0 0 25 0 1 0 246149782 1849966592 451059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 451652 451059 103 215 0 451434 0
Current children cumulated CPU time (s) 1200.39
Current children cumulated vsize (Kb) 1806608

[startup+1210.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1814904 CPUtime=1210.39
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 453171 0 0 0 120757 282 0 0 25 0 1 0 246149782 1858461696 453116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 453726 453116 103 215 0 453508 0
Current children cumulated CPU time (s) 1210.39
Current children cumulated vsize (Kb) 1814904

[startup+1220.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1824112 CPUtime=1220.4
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 455494 0 0 0 121756 284 0 0 25 0 1 0 246149782 1867890688 455439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 456028 455439 103 215 0 455810 0
Current children cumulated CPU time (s) 1220.4
Current children cumulated vsize (Kb) 1824112

[startup+1230.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=15876/2055920 swapFree=4182212/4192956
[pid=31045] ppid=31043 vsize=1830740 CPUtime=1230.41
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 457122 0 0 0 122756 285 0 0 25 0 1 0 246149782 1874677760 457067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 457685 457067 103 215 0 457467 0
Current children cumulated CPU time (s) 1230.41
Current children cumulated vsize (Kb) 1830740

[startup+1240.72 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 31045
/proc/meminfo: memFree=15812/2055920 swapFree=4182200/4192956
[pid=31045] ppid=31043 vsize=1838732 CPUtime=1240.41
/proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 459149 0 0 0 123755 286 0 0 25 0 1 0 246149782 1882861568 459094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/31045/statm: 459683 459094 103 215 0 459465 0
Current children cumulated CPU time (s) 1240.41
Current children cumulated vsize (Kb) 1838732

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1245.88
CPU time (s): 1245.57
CPU user time (s): 1242.41
CPU system time (s): 3.16452
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (Kb): 1838732
The end

Launcher Data (download as text)

Begin job on node69 on Thu Jun  8 22:13:18 UTC 2006


FILE ID= 46114-1149804797

PBS_JOBID= 378977

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node69/watcher-46114-1149804797 -o ROOT/results/node69/solver-46114-1149804797 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  0bff286f636188f318e01b1cd9504474

RANDOM SEED= 713331630


/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.232
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.232
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:       1801212 kB
Buffers:         24512 kB
Cached:         171364 kB
SwapCached:       2548 kB
Active:          62900 kB
Inactive:       141824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801212 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15428 kB
Slab:            35896 kB
Committed_AS:   502592 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node69 on Thu Jun  8 22:34:04 UTC 2006