Trace number 46098

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 1421.3 1422.06

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-75-70.opb
MD5SUMf923ea56e1761a03f5af67c072a524d6
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 variables5250
Total number of constraints194325
Number of constraints which are clauses194325
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 constraint70
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 71
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
5.00	c Converting 194325 PB-constraints to clauses...
5.02	c   -- Unit propagations: (none)
5.02	c   -- Detecting intervals from adjacent constraints: (none)
5.09	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
5.50	c ==================================[MINISAT+]==================================
5.50	c | Conflicts | Original         | Learnt                           | Progress |
5.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.50	c ==============================================================================
5.50	c |         0 |  194325   393750 |   64775       0        0     nan |  0.000 % |
5.52	c |       100 |  194325   393750 |   71252     100    31751   317.5 |  0.000 % |
5.55	c |       250 |  194325   393750 |   78377     250    84176   336.7 |  0.000 % |
5.61	c |       475 |  194325   393750 |   86215     475   226453   476.7 |  0.000 % |
5.67	c |       815 |  194325   393750 |   94837     815   327931   402.4 |  0.000 % |
5.77	c |      1321 |  194325   393750 |  104320    1321   484145   366.5 |  0.000 % |
5.93	c |      2080 |  194325   393750 |  114752    2080   774935   372.6 |  0.000 % |
6.23	c |      3219 |  194325   393750 |  126228    3219  1314866   408.5 |  0.000 % |
6.74	c |      4929 |  194325   393750 |  138850    4929  2210344   448.4 |  0.000 % |
7.62	c |      7491 |  194325   393750 |  152736    7491  3441994   459.5 |  0.000 % |
9.35	c |     11336 |  194325   393750 |  168009   11336  5778792   509.8 |  0.000 % |
12.05	c |     17104 |  194325   393750 |  184810   17104  8342430   487.7 |  0.000 % |
16.00	c |     25753 |  194325   393750 |  203291   25753 12361818   480.0 |  0.000 % |
32.68	c |     38728 |  194325   393750 |  223620   38728 29065832   750.5 |  0.000 % |
64.70	c |     58190 |  194325   393750 |  245982   58190 50866666   874.1 |  0.000 % |
109.37	c |     87382 |  194325   393750 |  270581   87382 83770603   958.7 |  0.000 % |
216.70	c |    131173 |  194325   393750 |  297639  131173 142603425  1087.1 |  0.000 % |
445.74	c |    196858 |  194325   393750 |  327403  196858 206264791  1047.8 |  0.000 % |
1052.39	c |    295385 |  194325   393750 |  360143  295385 373314960  1263.8 |  0.000 % |
1421.79	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/node92/watcher-46098-1149795859 -o ROOT/results/node92/solver-46098-1149795859 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node92/46098-1149795859/instance-46098-1149795859.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.94 0.98 0.94 3/67 8951
/proc/meminfo: memFree=1382088/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1048 CPUtime=0
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 245224748 1073152 97 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 262 97 74 215 0 44 0

[startup+10.0025 s]
/proc/loadavg: 0.95 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1325384/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=57496 CPUtime=9.97
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 14226 0 0 0 976 21 0 0 25 0 1 0 245224748 58875904 14212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 14374 14212 103 215 0 14156 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 57496

[startup+20.0088 s]
/proc/loadavg: 0.96 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1280584/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=102468 CPUtime=19.97
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 25444 0 0 0 1971 26 0 0 25 0 1 0 245224748 104927232 25430 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 25617 25430 103 215 0 25399 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 102468

[startup+30.0151 s]
/proc/loadavg: 0.96 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1244424/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=138536 CPUtime=29.98
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 34476 0 0 0 2968 30 0 0 25 0 1 0 245224748 141860864 34462 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 34634 34462 103 215 0 34416 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 138536

[startup+40.0214 s]
/proc/loadavg: 0.97 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1207560/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=175356 CPUtime=39.98
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 43672 0 0 0 3964 34 0 0 25 0 1 0 245224748 179564544 43658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 43839 43658 103 215 0 43621 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 175356

[startup+50.0277 s]
/proc/loadavg: 0.97 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1180040/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=202848 CPUtime=49.99
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 50553 0 0 0 4961 38 0 0 25 0 1 0 245224748 207716352 50539 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 50712 50539 103 215 0 50494 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 202848

[startup+60.034 s]
/proc/loadavg: 0.98 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1156616/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=226300 CPUtime=59.99
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 56395 0 0 0 5958 41 0 0 25 0 1 0 245224748 231731200 56381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 56575 56381 103 215 0 56357 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 226300

[startup+70.0393 s]
/proc/loadavg: 0.98 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1119432/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=263468 CPUtime=70
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 65676 0 0 0 6954 46 0 0 25 0 1 0 245224748 269791232 65662 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577023 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 65867 65662 103 215 0 65649 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 263468

[startup+80.0455 s]
/proc/loadavg: 0.98 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1091336/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=291420 CPUtime=80
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 72680 0 0 0 7951 49 0 0 25 0 1 0 245224748 298414080 72666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 72855 72666 103 215 0 72637 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 291420

[startup+90.0518 s]
/proc/loadavg: 0.98 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1065608/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=317140 CPUtime=90
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 79114 0 0 0 8948 52 0 0 25 0 1 0 245224748 324751360 79100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 79285 79100 103 215 0 79067 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 317140

[startup+100.058 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1036040/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=346736 CPUtime=100
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 86491 0 0 0 9945 55 0 0 25 0 1 0 245224748 355057664 86477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 86684 86477 103 215 0 86466 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 346736

[startup+110.064 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=1014472/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=368252 CPUtime=110.01
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 91865 0 0 0 10943 58 0 0 25 0 1 0 245224748 377090048 91851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 92063 91851 103 215 0 91845 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 368252

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=984136/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=398576 CPUtime=120.01
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 99434 0 0 0 11940 61 0 0 25 0 1 0 245224748 408141824 99420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 99644 99420 103 215 0 99426 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 398576

[startup+130.076 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=955784/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=426908 CPUtime=130.01
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 106506 0 0 0 12937 64 0 0 25 0 1 0 245224748 437153792 106492 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 106727 106492 103 215 0 106509 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 426908

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=934408/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=448324 CPUtime=140.02
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 111847 0 0 0 13935 67 0 0 25 0 1 0 245224748 459083776 111833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 112081 111833 103 215 0 111863 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 448324

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=914120/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=468528 CPUtime=150.02
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 116907 0 0 0 14932 70 0 0 25 0 1 0 245224748 479772672 116893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 117132 116893 103 215 0 116914 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 468528

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=892040/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=490524 CPUtime=160.02
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 122406 0 0 0 15929 73 0 0 25 0 1 0 245224748 502296576 122392 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 122631 122392 103 215 0 122413 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 490524

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=872584/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=509952 CPUtime=170.02
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 127274 0 0 0 16926 76 0 0 25 0 1 0 245224748 522190848 127260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 127488 127260 103 215 0 127270 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 509952

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=850632/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=531728 CPUtime=180.03
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 132732 0 0 0 17924 79 0 0 25 0 1 0 245224748 544489472 132718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 132932 132718 103 215 0 132714 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 531728

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=830920/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=551476 CPUtime=190.03
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 137674 0 0 0 18920 83 0 0 25 0 1 0 245224748 564711424 137660 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 137869 137660 103 215 0 137651 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 551476

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951
/proc/meminfo: memFree=811080/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=571268 CPUtime=200.04
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 142617 0 0 0 19917 87 0 0 25 0 1 0 245224748 584978432 142603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 142817 142603 103 215 0 142599 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 571268

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 8951

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

Current children cumulated CPU time (s) 1210.18
Current children cumulated vsize (Kb) 1667348

[startup+1220.75 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15944/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1674604 CPUtime=1220.17
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 418075 0 0 0 121748 269 0 0 25 0 1 0 245224748 1714794496 418061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 418651 418061 103 215 0 418433 0
Current children cumulated CPU time (s) 1220.17
Current children cumulated vsize (Kb) 1674604

[startup+1230.76 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=16264/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1682616 CPUtime=1230.17
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 420064 0 0 0 122746 271 0 0 25 0 1 0 245224748 1722998784 420050 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 420654 420050 103 215 0 420436 0
Current children cumulated CPU time (s) 1230.17
Current children cumulated vsize (Kb) 1682616

[startup+1240.76 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15880/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1691704 CPUtime=1240.16
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 422342 0 0 0 123744 272 0 0 25 0 1 0 245224748 1732304896 422328 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 422926 422328 103 215 0 422708 0
Current children cumulated CPU time (s) 1240.16
Current children cumulated vsize (Kb) 1691704

[startup+1250.77 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=16136/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1701728 CPUtime=1250.15
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 424830 0 0 0 124741 274 0 0 25 0 1 0 245224748 1742569472 424816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 425432 424816 103 215 0 425214 0
Current children cumulated CPU time (s) 1250.15
Current children cumulated vsize (Kb) 1701728

[startup+1260.77 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=16136/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1710404 CPUtime=1260.14
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 426997 0 0 0 125738 276 0 0 25 0 1 0 245224748 1751453696 426983 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 427601 426983 103 215 0 427383 0
Current children cumulated CPU time (s) 1260.14
Current children cumulated vsize (Kb) 1710404

[startup+1270.78 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=14792/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1719372 CPUtime=1270.14
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 429261 0 0 0 126736 278 0 0 25 0 1 0 245224748 1760636928 429247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 429843 429247 103 215 0 429625 0
Current children cumulated CPU time (s) 1270.14
Current children cumulated vsize (Kb) 1719372

[startup+1280.79 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=16008/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1727396 CPUtime=1280.13
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 431269 0 0 0 127734 279 0 0 25 0 1 0 245224748 1768853504 431255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 431849 431255 103 215 0 431631 0
Current children cumulated CPU time (s) 1280.13
Current children cumulated vsize (Kb) 1727396

[startup+1290.79 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15496/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1735680 CPUtime=1290.13
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 433340 0 0 0 128732 281 0 0 25 0 1 0 245224748 1777336320 433326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 433920 433326 103 215 0 433702 0
Current children cumulated CPU time (s) 1290.13
Current children cumulated vsize (Kb) 1735680

[startup+1300.8 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15368/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1743532 CPUtime=1300.12
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 435283 0 0 0 129730 282 0 0 25 0 1 0 245224748 1785376768 435269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 435883 435269 103 215 0 435665 0
Current children cumulated CPU time (s) 1300.12
Current children cumulated vsize (Kb) 1743532

[startup+1310.8 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1751528 CPUtime=1310.11
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 437284 0 0 0 130727 284 0 0 25 0 1 0 245224748 1793564672 437270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580777 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 437882 437270 103 215 0 437664 0
Current children cumulated CPU time (s) 1310.11
Current children cumulated vsize (Kb) 1751528

[startup+1320.81 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1759148 CPUtime=1320.11
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 439199 0 0 0 131726 285 0 0 25 0 1 0 245224748 1801367552 439185 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 439787 439185 103 215 0 439569 0
Current children cumulated CPU time (s) 1320.11
Current children cumulated vsize (Kb) 1759148

[startup+1330.82 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15688/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1767676 CPUtime=1330.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 441341 0 0 0 132724 286 0 0 25 0 1 0 245224748 1810100224 441327 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 441919 441327 103 215 0 441701 0
Current children cumulated CPU time (s) 1330.1
Current children cumulated vsize (Kb) 1767676

[startup+1340.82 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=14920/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1777588 CPUtime=1340.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 443826 0 0 0 133721 289 0 0 25 0 1 0 245224748 1820250112 443812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 444397 443812 103 215 0 444179 0
Current children cumulated CPU time (s) 1340.1
Current children cumulated vsize (Kb) 1777588

[startup+1350.83 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15176/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1786648 CPUtime=1350.09
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 446081 0 0 0 134719 290 0 0 25 0 1 0 245224748 1829527552 446067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 446662 446067 103 215 0 446444 0
Current children cumulated CPU time (s) 1350.09
Current children cumulated vsize (Kb) 1786648

[startup+1360.84 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15688/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1795308 CPUtime=1360.09
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 448245 0 0 0 135718 291 0 0 25 0 1 0 245224748 1838395392 448231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 448827 448231 103 215 0 448609 0
Current children cumulated CPU time (s) 1360.09
Current children cumulated vsize (Kb) 1795308

[startup+1370.84 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=14984/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1803868 CPUtime=1370.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 450358 0 0 0 136717 293 0 0 25 0 1 0 245224748 1847160832 450344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 450967 450344 103 215 0 450749 0
Current children cumulated CPU time (s) 1370.1
Current children cumulated vsize (Kb) 1803868

[startup+1380.85 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15112/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1811312 CPUtime=1380.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 452242 0 0 0 137716 294 0 0 25 0 1 0 245224748 1854783488 452228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 452828 452228 103 215 0 452610 0
Current children cumulated CPU time (s) 1380.1
Current children cumulated vsize (Kb) 1811312

[startup+1390.86 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=16200/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1819492 CPUtime=1390.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 454272 0 0 0 138715 295 0 0 25 0 1 0 245224748 1863159808 454258 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 454873 454258 103 215 0 454655 0
Current children cumulated CPU time (s) 1390.1
Current children cumulated vsize (Kb) 1819492

[startup+1400.86 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15752/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1827552 CPUtime=1400.1
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 456303 0 0 0 139714 296 0 0 25 0 1 0 245224748 1871413248 456289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 456888 456289 103 215 0 456670 0
Current children cumulated CPU time (s) 1400.1
Current children cumulated vsize (Kb) 1827552

[startup+1410.87 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=15048/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1834496 CPUtime=1410.11
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 458026 0 0 0 140713 298 0 0 25 0 1 0 245224748 1878523904 458012 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 458624 458012 103 215 0 458406 0
Current children cumulated CPU time (s) 1410.11
Current children cumulated vsize (Kb) 1834496

[startup+1420.87 s]
/proc/loadavg: 0.99 0.98 0.94 2/67 9150
/proc/meminfo: memFree=14856/2055892 swapFree=4084924/4096564
[pid=8951] ppid=8949 vsize=1842276 CPUtime=1420.11
/proc/8951/stat : 8951 (minisat+) R 8949 8951 8905 0 -1 4194304 459988 0 0 0 141712 299 0 0 25 0 1 0 245224748 1886490624 459974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0
/proc/8951/statm: 460569 459974 103 215 0 460351 0
Current children cumulated CPU time (s) 1420.11
Current children cumulated vsize (Kb) 1842276

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1422.06
CPU time (s): 1421.3
CPU user time (s): 1418.04
CPU system time (s): 3.2635
CPU usage (%): 99.9467
Max. virtual memory (cumulated for all children) (Kb): 1842276
The end

Launcher Data (download as text)

Begin job on node92 on Thu Jun  8 19:44:19 UTC 2006


FILE ID= 46098-1149795859

PBS_JOBID= 378772

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  f923ea56e1761a03f5af67c072a524d6

RANDOM SEED= 269925806


/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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.19
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.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1382296 kB
Buffers:         34376 kB
Cached:         579272 kB
SwapCached:       2976 kB
Active:         128284 kB
Inactive:       494180 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1382296 kB
SwapTotal:     4096564 kB
SwapFree:      4084924 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15268 kB
Slab:            37884 kB
Committed_AS:   475816 kB
PageTables:       1256 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node92 on Thu Jun  8 20:08:01 UTC 2006