Trace number 46126

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 1277.95 1278.42

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-clauses-81-80.opb
MD5SUM602db8a4b5456d6ce4573c7850dec197
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 variables6480
Total number of constraints259281
Number of constraints which are clauses259281
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 81
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
6.91	c Converting 259281 PB-constraints to clauses...
6.93	c   -- Unit propagations: (none)
6.93	c   -- Detecting intervals from adjacent constraints: (none)
7.03	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
7.61	c ==================================[MINISAT+]==================================
7.61	c | Conflicts | Original         | Learnt                           | Progress |
7.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.61	c ==============================================================================
7.61	c |         0 |  259281   524880 |   86427       0        0     nan |  0.000 % |
7.63	c |       100 |  259281   524880 |   95069     100    28536   285.4 |  0.000 % |
7.66	c |       250 |  259281   524880 |  104576     250    62914   251.7 |  0.000 % |
7.75	c |       476 |  259281   524880 |  115034     476   285351   599.5 |  0.000 % |
7.92	c |       816 |  259281   524880 |  126537     816   637868   781.7 |  0.000 % |
8.03	c |      1323 |  259281   524880 |  139191    1323   816902   617.5 |  0.000 % |
8.21	c |      2082 |  259281   524880 |  153110    2082  1091175   524.1 |  0.000 % |
8.61	c |      3222 |  259281   524880 |  168421    3222  1728638   536.5 |  0.000 % |
9.21	c |      4932 |  259281   524880 |  185263    4932  2683829   544.2 |  0.000 % |
10.52	c |      7494 |  259281   524880 |  203790    7494  4621697   616.7 |  0.000 % |
12.46	c |     11341 |  259281   524880 |  224169   11341  7046991   621.4 |  0.000 % |
15.43	c |     17112 |  259281   524880 |  246586   17112 10063927   588.1 |  0.000 % |
21.51	c |     25763 |  259281   524880 |  271244   25763 16394961   636.4 |  0.000 % |
41.08	c |     38739 |  259281   524880 |  298369   38739 35950524   928.0 |  0.000 % |
79.76	c |     58201 |  259281   524880 |  328206   58201 71519251  1228.8 |  0.000 % |
166.55	c |     87394 |  259281   524880 |  361027   87394 124403452  1423.5 |  0.000 % |
273.33	c |    131183 |  259281   524880 |  397129  131183 185364361  1413.0 |  0.000 % |
532.06	c |    196868 |  259281   524880 |  436842  196868 280855359  1426.6 |  0.000 % |
1149.06	c |    295397 |  259281   524880 |  480526  295397 422473533  1430.2 |  0.000 % |
1278.12	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/node61/watcher-46126-1149810110 -o ROOT/results/node61/solver-46126-1149810110 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node61/46126-1149810110/instance-46126-1149810110.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.01 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1618992/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=1048 CPUtime=0
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 118 0 0 0 0 0 0 0 19 0 1 0 246678922 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 262 103 74 215 0 44 0

[startup+10.0022 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1548080/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=72124 CPUtime=9.98
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 17829 0 0 0 965 33 0 0 25 0 1 0 246678922 73854976 17776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 18031 17776 103 215 0 17813 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 72124

[startup+20.0092 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1518704/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=101552 CPUtime=19.98
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 25197 0 0 0 1962 36 0 0 25 0 1 0 246678922 103989248 25144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 25388 25144 103 215 0 25170 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 101552

[startup+30.0151 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1472944/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=147644 CPUtime=29.98
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 36694 0 0 0 2957 41 0 0 25 0 1 0 246678922 151187456 36641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 36911 36641 103 215 0 36693 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 147644

[startup+40.0211 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1438576/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=181876 CPUtime=39.99
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 45255 0 0 0 3954 45 0 0 25 0 1 0 246678922 186241024 45202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 45469 45202 103 215 0 45251 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 181876

[startup+50.0271 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1395056/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=225384 CPUtime=49.99
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 56122 0 0 0 4948 51 0 0 25 0 1 0 246678922 230793216 56069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 56346 56069 103 215 0 56128 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 225384

[startup+60.033 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1357104/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=263252 CPUtime=59.99
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 65587 0 0 0 5944 55 0 0 25 0 1 0 246678922 269570048 65534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 65813 65534 103 215 0 65595 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 263252

[startup+70.039 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1324976/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=295296 CPUtime=69.99
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 73614 0 0 0 6940 59 0 0 25 0 1 0 246678922 302383104 73561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 73824 73561 103 215 0 73606 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 295296

[startup+80.045 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1294256/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=325976 CPUtime=80
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 81279 0 0 0 7937 63 0 0 25 0 1 0 246678922 333799424 81226 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 81494 81226 103 215 0 81276 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 325976

[startup+90.0499 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1258928/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=361268 CPUtime=90
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 90092 0 0 0 8932 68 0 0 25 0 1 0 246678922 369938432 90039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 90317 90039 103 215 0 90099 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 361268

[startup+100.056 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1228656/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=391472 CPUtime=99.99
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 97638 0 0 0 9928 71 0 0 25 0 1 0 246678922 400867328 97585 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584047 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 97868 97585 103 215 0 97650 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 391472

[startup+110.062 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1204528/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=415584 CPUtime=110.01
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 103662 0 0 0 10927 74 0 0 25 0 1 0 246678922 425558016 103609 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 103896 103609 103 215 0 103678 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 415584

[startup+120.068 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1183792/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=436204 CPUtime=120
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 108822 0 0 0 11924 76 0 0 25 0 1 0 246678922 446672896 108769 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 109051 108769 103 215 0 108833 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 436204

[startup+130.074 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1167472/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=452448 CPUtime=130.01
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 112895 0 0 0 12922 79 0 0 25 0 1 0 246678922 463306752 112842 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 113112 112842 103 215 0 112894 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 452448

[startup+140.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1147952/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=472048 CPUtime=140.01
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 117771 0 0 0 13920 81 0 0 25 0 1 0 246678922 483377152 117718 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 118012 117718 103 215 0 117794 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 472048

[startup+150.086 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1121520/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=498444 CPUtime=150.02
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 124363 0 0 0 14917 85 0 0 25 0 1 0 246678922 510406656 124310 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 124611 124310 103 215 0 124393 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 498444

[startup+160.092 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1097648/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=522180 CPUtime=160.02
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 130322 0 0 0 15914 88 0 0 25 0 1 0 246678922 534712320 130269 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 130545 130269 103 215 0 130327 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 522180

[startup+170.098 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1069552/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=550272 CPUtime=170.02
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 137331 0 0 0 16910 92 0 0 25 0 1 0 246678922 563478528 137278 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 137568 137278 103 215 0 137350 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 550272

[startup+180.104 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=1033008/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=586736 CPUtime=180.02
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 146433 0 0 0 17906 96 0 0 25 0 1 0 246678922 600817664 146380 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 146684 146380 103 215 0 146466 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 586736

[startup+190.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=999600/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=620112 CPUtime=190.03
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 154778 0 0 0 18903 100 0 0 25 0 1 0 246678922 634994688 154725 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 155028 154725 103 215 0 154810 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 620112

[startup+200.116 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=973744/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=645964 CPUtime=200.03
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 161231 0 0 0 19900 103 0 0 25 0 1 0 246678922 661467136 161178 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 161491 161178 103 215 0 161273 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 645964

[startup+210.121 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656

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

Current children cumulated CPU time (s) 1060.3
Current children cumulated vsize (Kb) 1649052

[startup+1070.63 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=15984/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=1657936 CPUtime=1070.31
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 413991 0 0 0 106765 266 0 0 25 0 1 0 246678922 1697726464 413938 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 414484 413938 103 215 0 414266 0
Current children cumulated CPU time (s) 1070.31
Current children cumulated vsize (Kb) 1657936

[startup+1080.63 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=15472/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=1666256 CPUtime=1080.31
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 416059 0 0 0 107764 267 0 0 25 0 1 0 246678922 1706246144 416006 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 416564 416006 103 215 0 416346 0
Current children cumulated CPU time (s) 1080.31
Current children cumulated vsize (Kb) 1666256

[startup+1090.64 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=16240/2055920 swapFree=4180932/4192956
[pid=13656] ppid=13654 vsize=1674508 CPUtime=1090.31
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 418134 0 0 0 108762 269 0 0 25 0 1 0 246678922 1714696192 418081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 418627 418081 103 215 0 418409 0
Current children cumulated CPU time (s) 1090.31
Current children cumulated vsize (Kb) 1674508

[startup+1100.65 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1683960 CPUtime=1100.32
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 420481 0 0 0 109761 271 0 0 25 0 1 0 246678922 1724375040 420428 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 420990 420428 103 215 0 420772 0
Current children cumulated CPU time (s) 1100.32
Current children cumulated vsize (Kb) 1683960

[startup+1110.65 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=16304/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1693532 CPUtime=1110.32
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 422844 0 0 0 110759 273 0 0 25 0 1 0 246678922 1734176768 422791 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 423383 422791 103 215 0 423165 0
Current children cumulated CPU time (s) 1110.32
Current children cumulated vsize (Kb) 1693532

[startup+1120.66 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=15792/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1703276 CPUtime=1120.32
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 425294 0 0 0 111757 275 0 0 25 0 1 0 246678922 1744154624 425241 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 425819 425241 103 215 0 425601 0
Current children cumulated CPU time (s) 1120.32
Current children cumulated vsize (Kb) 1703276

[startup+1130.67 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1711876 CPUtime=1130.33
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 427428 0 0 0 112756 277 0 0 25 0 1 0 246678922 1752961024 427375 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 427969 427375 103 215 0 427751 0
Current children cumulated CPU time (s) 1130.33
Current children cumulated vsize (Kb) 1711876

[startup+1140.67 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=16240/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1719784 CPUtime=1140.33
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 429405 0 0 0 113755 278 0 0 25 0 1 0 246678922 1761058816 429352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 429946 429352 103 215 0 429728 0
Current children cumulated CPU time (s) 1140.33
Current children cumulated vsize (Kb) 1719784

[startup+1150.68 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13656
/proc/meminfo: memFree=15856/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1729716 CPUtime=1150.34
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 431818 0 0 0 114755 279 0 0 25 0 1 0 246678922 1771229184 431765 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 432429 431765 103 215 0 432211 0
Current children cumulated CPU time (s) 1150.34
Current children cumulated vsize (Kb) 1729716

[startup+1160.69 s]
/proc/loadavg: 1.00 0.99 0.91 2/70 13727
/proc/meminfo: memFree=14944/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1738616 CPUtime=1160.3
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 434051 0 0 0 115748 282 0 0 25 0 1 0 246678922 1780342784 433998 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 434654 433998 103 215 0 434436 0
Current children cumulated CPU time (s) 1160.3
Current children cumulated vsize (Kb) 1738616

[startup+1170.69 s]
/proc/loadavg: 1.00 0.99 0.91 2/70 13791
/proc/meminfo: memFree=14880/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1749232 CPUtime=1170.27
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 436718 0 0 0 116742 285 0 0 25 0 1 0 246678922 1791213568 436665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576749 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 437308 436665 103 215 0 437090 0
Current children cumulated CPU time (s) 1170.27
Current children cumulated vsize (Kb) 1749232

[startup+1180.7 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15464/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1758936 CPUtime=1180.25
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 439150 0 0 0 117738 287 0 0 25 0 1 0 246678922 1801150464 439097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 439734 439097 103 215 0 439516 0
Current children cumulated CPU time (s) 1180.25
Current children cumulated vsize (Kb) 1758936

[startup+1190.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15024/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1768652 CPUtime=1190.26
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 441581 0 0 0 118737 289 0 0 25 0 1 0 246678922 1811099648 441528 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 442163 441528 103 215 0 441945 0
Current children cumulated CPU time (s) 1190.26
Current children cumulated vsize (Kb) 1768652

[startup+1200.71 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15664/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1778900 CPUtime=1200.27
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 444124 0 0 0 119736 291 0 0 25 0 1 0 246678922 1821593600 444071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 444725 444071 103 215 0 444507 0
Current children cumulated CPU time (s) 1200.27
Current children cumulated vsize (Kb) 1778900

[startup+1210.72 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=14832/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1787420 CPUtime=1210.26
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 446255 0 0 0 120734 292 0 0 25 0 1 0 246678922 1830318080 446202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 446855 446202 103 215 0 446637 0
Current children cumulated CPU time (s) 1210.26
Current children cumulated vsize (Kb) 1787420

[startup+1220.72 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15728/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1797264 CPUtime=1220.27
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 448726 0 0 0 121733 294 0 0 25 0 1 0 246678922 1840398336 448673 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 449316 448673 103 215 0 449098 0
Current children cumulated CPU time (s) 1220.27
Current children cumulated vsize (Kb) 1797264

[startup+1230.73 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=16304/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1808112 CPUtime=1230.27
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 451292 0 0 0 122731 296 0 0 25 0 1 0 246678922 1851506688 451239 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 452028 451239 103 215 0 451810 0
Current children cumulated CPU time (s) 1230.27
Current children cumulated vsize (Kb) 1808112

[startup+1240.74 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=14960/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1815704 CPUtime=1240.28
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 453174 0 0 0 123730 298 0 0 25 0 1 0 246678922 1859280896 453121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 453926 453121 103 215 0 453708 0
Current children cumulated CPU time (s) 1240.28
Current children cumulated vsize (Kb) 1815704

[startup+1250.74 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15408/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1823036 CPUtime=1250.28
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 455001 0 0 0 124729 299 0 0 25 0 1 0 246678922 1866788864 454948 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 455759 454948 103 215 0 455541 0
Current children cumulated CPU time (s) 1250.28
Current children cumulated vsize (Kb) 1823036

[startup+1260.75 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=14832/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1829732 CPUtime=1260.28
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 456683 0 0 0 125728 300 0 0 25 0 1 0 246678922 1873645568 456630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 457433 456630 103 215 0 457215 0
Current children cumulated CPU time (s) 1260.28
Current children cumulated vsize (Kb) 1829732

[startup+1270.76 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 13851
/proc/meminfo: memFree=15344/2055920 swapFree=4180924/4192956
[pid=13656] ppid=13654 vsize=1836912 CPUtime=1270.29
/proc/13656/stat : 13656 (minisat+) R 13654 13656 13610 0 -1 4194304 458487 0 0 0 126727 302 0 0 25 0 1 0 246678922 1880997888 458434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/13656/statm: 459228 458434 103 215 0 459010 0
Current children cumulated CPU time (s) 1270.29
Current children cumulated vsize (Kb) 1836912

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1278.42
CPU time (s): 1277.95
CPU user time (s): 1274.62
CPU system time (s): 3.32749
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (Kb): 1836912
The end

Launcher Data (download as text)

Begin job on node61 on Thu Jun  8 23:41:50 UTC 2006


FILE ID= 46126-1149810110

PBS_JOBID= 379136

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  602db8a4b5456d6ce4573c7850dec197

RANDOM SEED= 566523322


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1619200 kB
Buffers:         34032 kB
Cached:         342928 kB
SwapCached:       3772 kB
Active:         121816 kB
Inactive:       263892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619200 kB
SwapTotal:     4192956 kB
SwapFree:      4180932 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          14736 kB
Slab:            37108 kB
Committed_AS:   485564 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node61 on Fri Jun  9 00:03:09 UTC 2006