Trace number 49834

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.66 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195.opb
MD5SUM55edb2dcebb1eef2ceca62dc17cce326
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 benchmark123.444
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 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820
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.46	c Converting 135902 PB-constraints to clauses...
6.50	c   -- Unit propagations: (none)
96.21	c   -- Detecting intervals from adjacent constraints: #
96.24	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
96.51	c ---[   0]---> Adder-cost: 67342   maxlim: 152815123171761988496734947402513736484426477842784718762724655243331752118086385027734013446   bits: 307/307
238.31	c ==================================[MINISAT+]==================================
238.31	c | Conflicts | Original         | Learnt                           | Progress |
238.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
238.31	c ==============================================================================
238.31	c |         0 |  581730  1933891 |  193910       0        0     nan |  0.000 % |
238.38	c |       100 |  581714  1933839 |  213301      98      300     3.1 | 10.669 % |
238.78	c |       250 |  581085  1931592 |  234631     160      497     3.1 | 10.760 % |
238.89	c |       475 |  581005  1931332 |  258094     374     1172     3.1 | 10.773 % |
241.46	c |       812 |  580998  1931309 |  283903     709     5183     7.3 | 10.774 % |
244.96	c |      1319 |  580998  1931309 |  312293    1216   103388    85.0 | 10.774 % |
250.98	c |      2078 |  580998  1931309 |  343523    1975   133351    67.5 | 10.774 % |
259.03	c |      3217 |  580998  1931309 |  377875    3114   194308    62.4 | 10.774 % |
261.64	c |      4925 |  580998  1931309 |  415663    4822   486677   100.9 | 10.774 % |
278.90	c |      7489 |  580972  1931213 |  457229    7383  1035478   140.3 | 10.778 % |
290.49	c |     11334 |  580972  1931213 |  502952   11228  1492617   132.9 | 10.778 % |
324.45	c |     17100 |  580972  1931213 |  553247   16994  2584158   152.1 | 10.778 % |
334.67	c |     25749 |  580972  1931213 |  608572   25643  4039586   157.5 | 10.778 % |
385.47	c |     38724 |  580963  1931184 |  669429   38617  5684469   147.2 | 10.780 % |
474.09	c |     58186 |  580926  1931053 |  736372   58075  8500710   146.4 | 10.786 % |
582.04	c |     87379 |  580803  1930638 |  810010   87252 13322384   152.7 | 10.800 % |
690.56	c |    131168 |  580627  1930052 |  891011  130964 21809767   166.5 | 10.821 % |
822.73	c |    196853 |  580627  1930052 |  980112  196649 36484677   185.5 | 10.821 % |
1054.68	c |    295379 |  580627  1930052 | 1078123  295175 51465061   174.4 | 10.821 % |
1368.03	c |    443168 |  580616  1930009 | 1185935  442963 77957969   176.0 | 10.823 % |
1801.20	c 
1801.20	c *** TERMINATED ***
1801.20	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/node6/watcher-49834-1154121566 -o ROOT/results/node6/solver-49834-1154121566 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node6/49834-1154121566/instance-49834-1154121566.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=820632/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=1048 CPUtime=0
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 86 0 0 0 0 0 0 0 19 0 1 0 159018019 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 262 77 64 215 0 44 0

[startup+10.0019 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761304/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=9.98
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 990 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 60700

[startup+20.0079 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761624/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=19.99
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 1991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 60700

[startup+30.0139 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=29.99
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 2991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812745 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 60700

[startup+40.0198 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=39.99
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 3991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003241 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 60700

[startup+50.0258 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=49.99
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 4991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621528 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 60700

[startup+60.0318 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761816/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=59.99
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 5991 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005776 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 60700

[startup+70.0378 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=70
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 6992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005773 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 60700

[startup+80.0447 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=80
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 7992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812703 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 60700

[startup+90.0507 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=90
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16055 0 0 0 8992 8 0 0 25 0 1 0 159018019 62156800 14871 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812754 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14871 83 215 0 14957 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 60700

[startup+100.057 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=761752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=60700 CPUtime=100
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 16060 0 0 0 9979 21 0 0 25 0 1 0 159018019 62156800 14876 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 15175 14876 88 215 0 14957 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 60700

[startup+110.064 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=603160/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=223320 CPUtime=110.01
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 56587 0 0 0 10963 38 0 0 25 0 1 0 159018019 228679680 54493 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 55830 54493 92 215 0 55612 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 223320

[startup+120.071 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=329672 CPUtime=120.01
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83043 0 0 0 11950 51 0 0 25 0 1 0 159018019 337584128 80666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 82418 80666 92 215 0 82200 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 329672

[startup+130.077 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=329672 CPUtime=130.01
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83074 0 0 0 12950 51 0 0 25 0 1 0 159018019 337584128 80697 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003227 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 82418 80697 92 215 0 82200 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 329672

[startup+140.083 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=329672 CPUtime=140.01
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 13950 51 0 0 25 0 1 0 159018019 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 82418 80703 92 215 0 82200 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 329672

[startup+150.09 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=497944/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=329672 CPUtime=150.01
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 14950 51 0 0 25 0 1 0 159018019 337584128 80703 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809086 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 82418 80703 92 215 0 82200 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 329672

[startup+160.096 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=498072/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=329180 CPUtime=160.02
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 15951 51 0 0 25 0 1 0 159018019 337080320 80622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 82295 80622 92 215 0 82077 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 329180

[startup+170.101 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=500312/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=325900 CPUtime=170.02
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 16951 51 0 0 25 0 1 0 159018019 333721600 80051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 81475 80051 92 215 0 81257 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 325900

[startup+180.107 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=502488/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=322948 CPUtime=180.02
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 17951 51 0 0 25 0 1 0 159018019 330698752 79505 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809124 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 80737 79505 92 215 0 80519 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 322948

[startup+190.113 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=504600/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=320160 CPUtime=190.03
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 18951 52 0 0 25 0 1 0 159018019 327843840 78969 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 80040 78969 92 215 0 79822 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 320160

[startup+200.119 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950
/proc/meminfo: memFree=506712/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=317536 CPUtime=200.03
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 83080 0 0 0 19951 52 0 0 25 0 1 0 159018019 325156864 78451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 79384 78451 92 215 0 79166 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 317536

[startup+210.125 s]
/proc/loadavg: 0.99 0.99 0.99 2/63 950

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

/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 150933 0 0 0 178028 119 0 0 25 0 1 0 159018019 593240064 144047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 144834 144047 123 215 0 144616 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 579336

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=243672/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=579728 CPUtime=1782.47
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151024 0 0 0 178128 119 0 0 25 0 1 0 159018019 593641472 144138 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 144932 144138 123 215 0 144714 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 579728

[startup+1784.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=243416/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=579992 CPUtime=1783.48
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151095 0 0 0 178229 119 0 0 25 0 1 0 159018019 593911808 144209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 144998 144209 123 215 0 144780 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 579992

[startup+1785.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=243160/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=580256 CPUtime=1784.48
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151163 0 0 0 178329 119 0 0 25 0 1 0 159018019 594182144 144277 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145064 144277 123 215 0 144846 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 580256

[startup+1786.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=242904/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=580520 CPUtime=1785.48
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151219 0 0 0 178429 119 0 0 25 0 1 0 159018019 594452480 144333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145130 144333 123 215 0 144912 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 580520

[startup+1787.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=242648/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=580788 CPUtime=1786.49
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151288 0 0 0 178530 119 0 0 25 0 1 0 159018019 594726912 144402 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145197 144402 123 215 0 144979 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 580788

[startup+1788.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=242264/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=581184 CPUtime=1787.49
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151387 0 0 0 178630 119 0 0 25 0 1 0 159018019 595132416 144501 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145296 144501 123 215 0 145078 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 581184

[startup+1789.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=241752/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=581708 CPUtime=1788.5
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151519 0 0 0 178731 119 0 0 25 0 1 0 159018019 595668992 144633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145427 144633 123 215 0 145209 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 581708

[startup+1790.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=241432/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=581968 CPUtime=1789.5
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151596 0 0 0 178831 119 0 0 25 0 1 0 159018019 595935232 144710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145492 144710 123 215 0 145274 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 581968

[startup+1791.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=240856/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=582504 CPUtime=1790.5
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151732 0 0 0 178931 119 0 0 25 0 1 0 159018019 596484096 144846 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145626 144846 123 215 0 145408 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 582504

[startup+1792.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=240344/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=583024 CPUtime=1791.51
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 151862 0 0 0 179032 119 0 0 25 0 1 0 159018019 597016576 144976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145756 144976 123 215 0 145538 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 583024

[startup+1793.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=239768/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=583684 CPUtime=1792.51
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152004 0 0 0 179132 119 0 0 25 0 1 0 159018019 597692416 145118 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 145921 145118 123 215 0 145703 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 583684

[startup+1794.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=239256/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=584220 CPUtime=1793.52
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152139 0 0 0 179233 119 0 0 25 0 1 0 159018019 598241280 145253 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574157 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146055 145253 123 215 0 145837 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 584220

[startup+1795.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=238744/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=584616 CPUtime=1794.52
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152259 0 0 0 179333 119 0 0 25 0 1 0 159018019 598646784 145373 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146154 145373 123 215 0 145936 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 584616

[startup+1796.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=238360/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=585012 CPUtime=1795.53
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152351 0 0 0 179434 119 0 0 25 0 1 0 159018019 599052288 145465 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146253 145465 123 215 0 146035 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 585012

[startup+1797.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=237848/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=585540 CPUtime=1796.53
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152476 0 0 0 179534 119 0 0 25 0 1 0 159018019 599592960 145590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146385 145590 123 215 0 146167 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (Kb) 585540

[startup+1798.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=237592/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=585804 CPUtime=1797.54
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152551 0 0 0 179634 120 0 0 25 0 1 0 159018019 599863296 145665 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146451 145665 123 215 0 146233 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 585804

[startup+1799.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=237208/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=586204 CPUtime=1798.55
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152650 0 0 0 179735 120 0 0 25 0 1 0 159018019 600272896 145764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146551 145764 123 215 0 146333 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 586204

[startup+1800.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=236824/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=586592 CPUtime=1799.55
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152744 0 0 0 179835 120 0 0 25 0 1 0 159018019 600670208 145858 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146648 145858 123 215 0 146430 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 586592

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=236376/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=586988 CPUtime=1800.55
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152851 0 0 0 179935 120 0 0 25 0 1 0 159018019 601075712 145965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146747 145965 123 215 0 146529 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 586988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/63 952
/proc/meminfo: memFree=236376/2055924 swapFree=4183204/4192956
[pid=950] ppid=948 vsize=586988 CPUtime=1800.56
/proc/950/stat : 950 (minisat+) R 948 950 901 0 -1 4194304 152851 0 0 0 179936 120 0 0 25 0 1 0 159018019 601075712 145965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/950/statm: 146747 145965 123 215 0 146529 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 586988

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

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.66
CPU user time (s): 1799.36
CPU system time (s): 1.2978
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (Kb): 586988
The end

Launcher Data (download as text)

Begin job on node6 on Fri Jul 28 21:19:26 UTC 2006


FILE ID= 49834-1154121566

PBS_JOBID= 887001

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  55edb2dcebb1eef2ceca62dc17cce326

RANDOM SEED= 250062154

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.255
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.255
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:      2055924 kB
MemFree:        820840 kB
Buffers:         43984 kB
Cached:        1104756 kB
SwapCached:       3792 kB
Active:          59052 kB
Inactive:      1098480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:        820840 kB
SwapTotal:     4192956 kB
SwapFree:      4183204 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14828 kB
Slab:            63576 kB
Committed_AS:   676524 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node6 on Fri Jul 28 21:49:28 UTC 2006