Trace number 49832

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 NameAnswerObjective functionCPU timeWall clock time
minisat+ 1.14? (TO) 1800.59 1801.29

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb
MD5SUMdf413fd91ea32ba4084c4b3fbb11e44d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark117.794
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables45751
Total number of constraints135901
Number of constraints which are clauses135900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884415680534709393500410164485780207399841635394555886269312423583179230372744812869772975784
Number of bits of the biggest sum of numbers451
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.24	c Converting 135902 PB-constraints to clauses...
6.27	c   -- Unit propagations: (none)
91.79	c   -- Detecting intervals from adjacent constraints: #
91.83	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
92.08	c ---[   0]---> Adder-cost: 67342   maxlim: 152842044184461741520034153605625648985102288333557482156742300542339162005294068008388059482   bits: 307/307
232.84	c ==================================[MINISAT+]==================================
232.84	c | Conflicts | Original         | Learnt                           | Progress |
232.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
232.84	c ==============================================================================
232.84	c |         0 |  581730  1933891 |  193910       0        0     nan |  0.000 % |
232.91	c |       100 |  581714  1933839 |  213301      98      301     3.1 | 10.669 % |
233.58	c |       250 |  580951  1931134 |  234631     142      449     3.2 | 10.781 % |
233.70	c |       475 |  580881  1930884 |  258094     357     1115     3.1 | 10.792 % |
235.75	c |       812 |  580881  1930884 |  283903     694     4980     7.2 | 10.792 % |
239.74	c |      1320 |  580841  1930742 |  312293    1196    29420    24.6 | 10.797 % |
244.74	c |      2080 |  580841  1930742 |  343523    1956    59108    30.2 | 10.797 % |
251.15	c |      3219 |  580841  1930742 |  377875    3095   332845   107.5 | 10.797 % |
263.39	c |      4927 |  580841  1930742 |  415663    4803   404077    84.1 | 10.797 % |
289.91	c |      7490 |  580841  1930742 |  457229    7366  2207804   299.7 | 10.797 % |
303.75	c |     11334 |  580841  1930742 |  502952   11210  2737682   244.2 | 10.797 % |
344.88	c |     17101 |  580841  1930742 |  553247   16977  4068889   239.7 | 10.797 % |
378.06	c |     25750 |  580841  1930742 |  608572   25626  4769808   186.1 | 10.797 % |
459.69	c |     38725 |  580792  1930579 |  669429   38594  6264041   162.3 | 10.805 % |
494.09	c |     58187 |  580792  1930579 |  736372   58056 10819628   186.4 | 10.805 % |
541.55	c |     87379 |  580792  1930579 |  810010   87248 16774294   192.3 | 10.805 % |
623.10	c |    131169 |  580792  1930579 |  891011  131038 25914935   197.8 | 10.805 % |
775.62	c |    196855 |  580734  1930379 |  980112  196714 37910343   192.7 | 10.814 % |
1123.99	c |    295382 |  580645  1930078 | 1078123  292609 62196124   212.6 | 10.826 % |
1442.00	c |    443171 |  580435  1929398 | 1185935  440373 88245163   200.4 | 10.853 % |
1801.19	c 
1801.19	c *** TERMINATED ***
1801.19	s UNKNOWN

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.3 (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/node24/watcher-49832-1154121454 -o ROOT/results/node24/solver-49832-1154121454 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 6867
/proc/meminfo: memFree=1418808/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=1048 CPUtime=0
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 114 0 0 0 0 0 0 0 19 0 1 0 159006129 1073152 98 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 262 98 74 215 0 44 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1359552/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=9.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005800 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 60700

[startup+20.0081 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1359808/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=19.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 1990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005888 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 60700

[startup+30.014 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1359936/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=29.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 2990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005240 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 60700

[startup+40.0199 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1359936/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=39.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 3990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808977 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 60700

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=49.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 4990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621583 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 60700

[startup+60.0317 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=59.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 5990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621811 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 60700

[startup+70.0376 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=69.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 6990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812703 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 60700

[startup+80.0435 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=79.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 7990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621814 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 60700

[startup+90.0504 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1360000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=60700 CPUtime=89.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 16055 0 0 0 8990 9 0 0 25 0 1 0 159006129 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012196 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 60700

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1294976/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=127180 CPUtime=99.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 33245 0 0 0 9971 28 0 0 25 0 1 0 159006129 130232320 31151 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 31795 31151 92 215 0 31577 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 127180

[startup+110.064 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1101056/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=325192 CPUtime=109.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 81625 0 0 0 10951 48 0 0 25 0 1 0 159006129 332996608 79531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 81298 79531 92 215 0 81080 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 325192

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1096192/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=329672 CPUtime=119.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83059 0 0 0 11950 49 0 0 25 0 1 0 159006129 337584128 80682 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005893 0 0 4096 16386 0 0 0 17 0 0 0
/proc/6867/statm: 82418 80682 92 215 0 82200 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 329672

[startup+130.078 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=329672 CPUtime=129.99
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 12950 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 82418 80703 92 215 0 82200 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 329672

[startup+140.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=329672 CPUtime=140
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 13951 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012076 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 82418 80703 92 215 0 82200 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 329672

[startup+150.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1096128/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=329672 CPUtime=150
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 14951 49 0 0 25 0 1 0 159006129 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 82418 80703 92 215 0 82200 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 329672

[startup+160.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1097600/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=327212 CPUtime=160
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 15951 49 0 0 25 0 1 0 159006129 335065088 80283 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 81803 80283 92 215 0 81585 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 327212

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1099712/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=324260 CPUtime=170
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 16951 49 0 0 25 0 1 0 159006129 332042240 79751 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 81065 79751 92 215 0 80847 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 324260

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1101952/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=321308 CPUtime=180
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 17951 49 0 0 25 0 1 0 159006129 329019392 79193 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005338 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 80327 79193 92 215 0 80109 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 321308

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1104000/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=318684 CPUtime=190
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 18951 49 0 0 25 0 1 0 159006129 326332416 78681 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003241 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 79671 78681 92 215 0 79453 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 318684

[startup+200.121 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867
/proc/meminfo: memFree=1106112/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=316060 CPUtime=200
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 83080 0 0 0 19951 49 0 0 25 0 1 0 159006129 323645440 78154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134811783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 79015 78154 92 215 0 78797 0
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 316060

[startup+210.127 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 6867

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

/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 140942 0 0 0 178043 97 0 0 25 0 1 0 159006129 552423424 134053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 134869 134053 123 215 0 134651 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (Kb) 539476

[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=882248/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=539608 CPUtime=1782.4
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 140966 0 0 0 178143 97 0 0 25 0 1 0 159006129 552558592 134077 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 134902 134077 123 215 0 134684 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (Kb) 539608

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=882120/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=539732 CPUtime=1783.41
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141001 0 0 0 178244 97 0 0 25 0 1 0 159006129 552685568 134112 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 134933 134112 123 215 0 134715 0
Current children cumulated CPU time (s) 1783.41
Current children cumulated vsize (Kb) 539732

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881928/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=539856 CPUtime=1784.41
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141043 0 0 0 178344 97 0 0 25 0 1 0 159006129 552812544 134154 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581189 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 134964 134154 123 215 0 134746 0
Current children cumulated CPU time (s) 1784.41
Current children cumulated vsize (Kb) 539856

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881864/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=539988 CPUtime=1785.42
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141065 0 0 0 178445 97 0 0 25 0 1 0 159006129 552947712 134176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 134997 134176 123 215 0 134779 0
Current children cumulated CPU time (s) 1785.42
Current children cumulated vsize (Kb) 539988

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881736/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=540120 CPUtime=1786.42
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141096 0 0 0 178545 97 0 0 25 0 1 0 159006129 553082880 134207 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135030 134207 123 215 0 134812 0
Current children cumulated CPU time (s) 1786.42
Current children cumulated vsize (Kb) 540120

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881480/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=540384 CPUtime=1787.42
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141159 0 0 0 178645 97 0 0 25 0 1 0 159006129 553353216 134270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135096 134270 123 215 0 134878 0
Current children cumulated CPU time (s) 1787.42
Current children cumulated vsize (Kb) 540384

[startup+1789.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881288/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=540516 CPUtime=1788.43
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141196 0 0 0 178746 97 0 0 25 0 1 0 159006129 553488384 134307 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135129 134307 123 215 0 134911 0
Current children cumulated CPU time (s) 1788.43
Current children cumulated vsize (Kb) 540516

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881160/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=540644 CPUtime=1789.43
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141229 0 0 0 178846 97 0 0 25 0 1 0 159006129 553619456 134340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135161 134340 123 215 0 134943 0
Current children cumulated CPU time (s) 1789.43
Current children cumulated vsize (Kb) 540644

[startup+1791.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=881032/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=540776 CPUtime=1790.44
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141271 0 0 0 178947 97 0 0 25 0 1 0 159006129 553754624 134382 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135194 134382 123 215 0 134976 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (Kb) 540776

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=880776/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541040 CPUtime=1791.44
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141324 0 0 0 179047 97 0 0 25 0 1 0 159006129 554024960 134435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135260 134435 123 215 0 135042 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (Kb) 541040

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=880712/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541040 CPUtime=1792.44
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141339 0 0 0 179147 97 0 0 25 0 1 0 159006129 554024960 134450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135260 134450 123 215 0 135042 0
Current children cumulated CPU time (s) 1792.44
Current children cumulated vsize (Kb) 541040

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=880520/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541300 CPUtime=1793.45
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141400 0 0 0 179248 97 0 0 25 0 1 0 159006129 554291200 134511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135325 134511 123 215 0 135107 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 541300

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=880200/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541564 CPUtime=1794.45
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141466 0 0 0 179348 97 0 0 25 0 1 0 159006129 554561536 134577 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135391 134577 123 215 0 135173 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 541564

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=880136/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541688 CPUtime=1795.46
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141495 0 0 0 179449 97 0 0 25 0 1 0 159006129 554688512 134606 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135422 134606 123 215 0 135204 0
Current children cumulated CPU time (s) 1795.46
Current children cumulated vsize (Kb) 541688

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879944/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541820 CPUtime=1796.46
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141535 0 0 0 179549 97 0 0 25 0 1 0 159006129 554823680 134646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135455 134646 123 215 0 135237 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 541820

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879816/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=541952 CPUtime=1797.46
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141573 0 0 0 179649 97 0 0 25 0 1 0 159006129 554958848 134684 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135488 134684 123 215 0 135270 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 541952

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879688/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=542084 CPUtime=1798.48
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141603 0 0 0 179750 98 0 0 25 0 1 0 159006129 555094016 134714 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135521 134714 123 215 0 135303 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (Kb) 542084

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=542480 CPUtime=1799.48
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141674 0 0 0 179850 98 0 0 25 0 1 0 159006129 555499520 134785 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135620 134785 123 215 0 135402 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 542480

[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=542480 CPUtime=1800.49
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141688 0 0 0 179951 98 0 0 25 0 1 0 159006129 555499520 134799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135620 134799 123 215 0 135402 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 542480



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6869
/proc/meminfo: memFree=879368/2055920 swapFree=4183196/4192956
[pid=6867] ppid=6865 vsize=542480 CPUtime=1800.49
/proc/6867/stat : 6867 (minisat+) R 6865 6867 6818 0 -1 4194304 141688 0 0 0 179951 98 0 0 25 0 1 0 159006129 555499520 134799 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/6867/statm: 135620 134799 123 215 0 135402 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (Kb) 542480

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

Child status: 0
Real time (s): 1801.29
CPU time (s): 1800.59
CPU user time (s): 1799.52
CPU system time (s): 1.07384
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (Kb): 542480
The end

Launcher Data (download as text)

Begin job on node24 on Fri Jul 28 21:17:34 UTC 2006


FILE ID= 49832-1154121454

PBS_JOBID= 886993

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-692949159.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-49832-1154121454 -o ROOT/results/node24/solver-49832-1154121454 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node24/49832-1154121454/instance-49832-1154121454.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  df413fd91ea32ba4084c4b3fbb11e44d

RANDOM SEED= 129833282

TIMEOUT= 1800 seconds


/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.266
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.266
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:       1418952 kB
Buffers:         36660 kB
Cached:         540660 kB
SwapCached:       3672 kB
Active:          64228 kB
Inactive:       521864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1418952 kB
SwapTotal:     4192956 kB
SwapFree:      4183196 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14492 kB
Slab:            36796 kB
Committed_AS:   630660 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node24 on Fri Jul 28 21:47:36 UTC 2006