Trace number 35625

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.14SAT (TO)-48 1800.67 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1272
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1272
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1272
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Parsing PB file...
2.54	c Converting 94289 PB-constraints to clauses...
2.55	c   -- Unit propagations: (none)
2.55	c   -- Detecting intervals from adjacent constraints: (none)
2.55	c   -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.76	c ==================================[MINISAT+]==================================
2.76	c | Conflicts | Original         | Learnt                           | Progress |
2.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.76	c ==============================================================================
2.76	c |         0 |   94289   188578 |   31429       0        0     nan |  0.000 % |
2.76	c ==============================================================================
2.76	c Found solution: -38
2.76	o -38
2.77	c ---[   0]---> Sorter-cost:70300     Base:
2.92	c ==================================[MINISAT+]==================================
2.92	c | Conflicts | Original         | Learnt                           | Progress |
2.92	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
2.92	c ==============================================================================
2.92	c |         0 |  169363   364695 |   56454       0        0     nan |  0.000 % |
3.16	c |       100 |  168931   363803 |   62099      75      961    12.8 |  0.464 % |
3.46	c |       251 |  168226   362304 |   68309     195     2080    10.7 |  1.241 % |
3.92	c |       477 |  166908   359478 |   75140     361     4481    12.4 |  2.716 % |
4.58	c |       814 |  165085   355491 |   82654     634     6941    10.9 |  4.833 % |
5.49	c |      1320 |  161650   347896 |   90919    1002    11746    11.7 |  8.903 % |
6.91	c |      2079 |  157439   338515 |  100011    1501    17642    11.8 | 13.952 % |
8.81	c |      3218 |  149574   320611 |  110012    2257    27487    12.2 | 23.762 % |
11.45	c |      4926 |  140077   298909 |  121014    3343    40938    12.2 | 35.604 % |
14.65	c |      7488 |  129263   273622 |  133115    4970    57038    11.5 | 49.390 % |
18.24	c |     11332 |  118074   247204 |  146427    7283    85078    11.7 | 64.089 % |
20.41	c ==============================================================================
20.41	c Found solution: -42
20.41	o -42
20.43	c ---[   0]---> Sorter-cost:    0     Base:
20.51	c ==================================[MINISAT+]==================================
20.51	c | Conflicts | Original         | Learnt                           | Progress |
20.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.51	c ==============================================================================
20.51	c |     14173 |  112053   232947 |   37351    8812   110869    12.6 | 64.089 % |
20.59	c |     14273 |  111956   232718 |   41086    8872   112201    12.6 | 72.341 % |
20.68	c |     14423 |  111733   232187 |   45194    9002   114113    12.7 | 72.561 % |
20.81	c |     14649 |  111451   231507 |   49714    9151   118315    12.9 | 72.945 % |
20.98	c |     14986 |  111001   230402 |   54685    9390   121727    13.0 | 73.568 % |
21.27	c |     15492 |  110268   228664 |   60154    9746   131154    13.5 | 74.539 % |
21.67	c |     16252 |  109470   226728 |   66169   10246   139678    13.6 | 75.632 % |
22.25	c |     17391 |  108305   223901 |   72786   11038   156782    14.2 | 77.225 % |
23.01	c |     19099 |  106843   220411 |   80065   12116   192204    15.9 | 79.176 % |
24.10	c |     21662 |  105578   217316 |   88071   13811   254342    18.4 | 80.914 % |
25.66	c |     25506 |  104256   214065 |   96878   16859   438700    26.0 | 82.765 % |
26.96	c ==============================================================================
26.96	c Found solution: -43
26.96	o -43
26.97	c ---[   0]---> Sorter-cost:    0     Base:
27.07	c ==================================[MINISAT+]==================================
27.07	c | Conflicts | Original         | Learnt                           | Progress |
27.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.07	c ==============================================================================
27.07	c |     29128 |  104139   213840 |   34713   20366   654650    32.1 | 82.765 % |
27.15	c |     29229 |  104025   213562 |   38184   20446   657035    32.1 | 83.099 % |
27.32	c |     29380 |  103872   213177 |   42002   20466   657976    32.1 | 83.323 % |
27.41	c |     29605 |  103872   213177 |   46203   20691   675471    32.6 | 83.323 % |
27.56	c |     29942 |  103872   213177 |   50823   21028   685274    32.6 | 83.323 % |
27.79	c |     30448 |  103722   212801 |   55905   21442   702839    32.8 | 83.539 % |
28.21	c |     31207 |  103261   211676 |   61496   21792   727090    33.4 | 84.177 % |
28.53	c |     32346 |  103261   211676 |   67645   22931   784028    34.2 | 84.177 % |
29.08	c ==============================================================================
29.08	c Found solution: -44
29.08	o -44
29.10	c ---[   0]---> Sorter-cost:    0     Base:
29.20	c ==================================[MINISAT+]==================================
29.20	c | Conflicts | Original         | Learnt                           | Progress |
29.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
29.20	c ==============================================================================
29.20	c |     33412 |  103252   211633 |   34417   23944   928774    38.8 | 84.177 % |
29.27	c |     33512 |  103242   211609 |   37858   24024   929884    38.7 | 84.207 % |
29.35	c |     33663 |  103242   211609 |   41644   24175   937156    38.8 | 84.207 % |
29.44	c |     33888 |  103242   211609 |   45809   24400   945982    38.8 | 84.207 % |
29.63	c |     34225 |  103106   211272 |   50389   24656   961580    39.0 | 84.396 % |
29.85	c |     34731 |  103096   211246 |   55428   25109   984488    39.2 | 84.412 % |
30.14	c |     35491 |  103053   211129 |   60971   25751  1012426    39.3 | 84.478 % |
30.78	c |     36631 |  102901   210759 |   67068   26726  1066796    39.9 | 84.686 % |
31.53	c |     38339 |  102881   210709 |   73775   28397  1192012    42.0 | 84.715 % |
32.71	c |     40901 |  102881   210709 |   81153   30959  1469684    47.5 | 84.715 % |
34.67	c |     44746 |  102871   210685 |   89268   34788  1844984    53.0 | 84.729 % |
37.56	c ==============================================================================
37.56	c Found solution: -45
37.56	o -45
37.57	c ---[   0]---> Sorter-cost:    0     Base:
37.69	c ==================================[MINISAT+]==================================
37.69	c | Conflicts | Original         | Learnt                           | Progress |
37.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
37.69	c ==============================================================================
37.69	c |     49083 |  102808   210537 |   34269   39065  2552883    65.3 | 84.729 % |
37.82	c |     49183 |  102715   210319 |   37695   39094  2554059    65.3 | 84.952 % |
37.92	c |     49333 |  102715   210319 |   41465   39244  2564935    65.4 | 84.952 % |
38.11	c |     49559 |  102638   210132 |   45612   39228  2570691    65.5 | 85.059 % |
38.33	c |     49896 |  102638   210132 |   50173   39565  2591937    65.5 | 85.059 % |
38.66	c |     50403 |  102638   210132 |   55190   40072  2655788    66.3 | 85.059 % |
39.09	c |     51162 |  102638   210132 |   60709   40831  2713978    66.5 | 85.059 % |
39.87	c |     52301 |  102627   210103 |   66780   41795  2803087    67.1 | 85.076 % |
41.13	c |     54009 |  102492   209776 |   73458   43288  3004323    69.4 | 85.263 % |
42.94	c |     56573 |  102482   209754 |   80804   45807  3307196    72.2 | 85.275 % |
45.86	c |     60417 |  102434   209638 |   88884   49598  3816497    76.9 | 85.341 % |
50.69	c |     66183 |  102321   209365 |   97773   54712  4533488    82.9 | 85.496 % |
58.80	c |     74832 |  102098   208818 |  107550   62430  5539945    88.7 | 85.806 % |
75.20	c |     87807 |  101884   208284 |  118305   75224  8117231   107.9 | 86.117 % |
77.75	c ==============================================================================
77.75	c Found solution: -46
77.75	o -46
77.77	c ---[   0]---> Sorter-cost:    0     Base:
77.96	c ==================================[MINISAT+]==================================
77.96	c | Conflicts | Original         | Learnt                           | Progress |
77.96	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
77.96	c ==============================================================================
77.96	c |     89873 |  101873   208219 |   33957   77213  8366826   108.4 | 86.117 % |
78.19	c |     89973 |  101813   208079 |   37352   77250  8370963   108.4 | 86.209 % |
78.38	c |     90123 |  101813   208079 |   41087   77400  8384920   108.3 | 86.209 % |
78.62	c |     90348 |  101813   208079 |   45196   77625  8402830   108.2 | 86.209 % |
79.04	c |     90685 |  101813   208079 |   49716   77962  8425118   108.1 | 86.209 % |
79.72	c |     91191 |  101808   208066 |   54688   78418  8477500   108.1 | 86.217 % |
80.58	c |     91950 |  101769   207969 |   60156   79147  8535292   107.8 | 86.273 % |
82.03	c |     93089 |  101732   207878 |   66172   79954  8650341   108.2 | 86.324 % |
83.92	c |     94797 |  101691   207781 |   72789   81587  8836109   108.3 | 86.378 % |
86.93	c |     97360 |  101678   207750 |   80068   84139  9093070   108.1 | 86.396 % |
91.99	c |    101204 |  101587   207532 |   88075   87350  9467343   108.4 | 86.516 % |
99.78	c |    106970 |  101584   207525 |   96883   93115 10262644   110.2 | 86.520 % |
112.81	c |    115619 |  101584   207525 |  106571  101764 11400274   112.0 | 86.520 % |
132.76	c ==============================================================================
132.76	c Found solution: -47
132.76	o -47
132.78	c ---[   0]---> Sorter-cost:    0     Base:
133.03	c ==================================[MINISAT+]==================================
133.03	c | Conflicts | Original         | Learnt                           | Progress |
133.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
133.03	c ==============================================================================
133.03	c |    128246 |  101576   207519 |   33858  113993 13276183   116.5 | 86.520 % |
133.35	c |    128346 |  101576   207519 |   37243   20346  1966312    96.6 | 86.569 % |
133.41	c |    128496 |  101576   207519 |   40968   20496  1972565    96.2 | 86.569 % |
133.53	c |    128722 |  101576   207519 |   45064   20722  1990233    96.0 | 86.569 % |
133.67	c |    129059 |  101576   207519 |   49571   21059  2010034    95.4 | 86.569 % |
133.94	c |    129565 |  101573   207512 |   54528   21564  2043549    94.8 | 86.573 % |
134.33	c |    130325 |  101573   207512 |   59981   22324  2119304    94.9 | 86.573 % |
134.88	c |    131466 |  101573   207512 |   65979   23465  2227953    94.9 | 86.573 % |
135.95	c |    133174 |  101566   207497 |   72577   25171  2440505    97.0 | 86.580 % |
137.29	c |    135736 |  101564   207493 |   79835   27732  2748292    99.1 | 86.582 % |
139.73	c |    139581 |  101564   207493 |   87818   31577  3280586   103.9 | 86.582 % |
144.85	c |    145347 |  101564   207493 |   96600   37343  4140110   110.9 | 86.582 % |
151.94	c |    153996 |  101564   207493 |  106260   45992  5223572   113.6 | 86.582 % |
164.46	c |    166970 |  101517   207383 |  116886   58757  6847744   116.5 | 86.641 % |
185.67	c |    186431 |  101502   207348 |  128575   78195  9333628   119.4 | 86.660 % |
225.55	c |    215624 |  101465   207263 |  141433  107203 13487587   125.8 | 86.705 % |
303.07	c |    259413 |  101459   207249 |  155576  150988 19357146   128.2 | 86.712 % |
424.21	c |    325098 |  101350   206988 |  171134   34947  3511279   100.5 | 86.860 % |
497.21	c ==============================================================================
497.21	c Found solution: -48
497.21	o -48
497.23	c ---[   0]---> Sorter-cost:    0     Base:
497.48	c ==================================[MINISAT+]==================================
497.48	c | Conflicts | Original         | Learnt                           | Progress |
497.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
497.48	c ==============================================================================
497.48	c |    380811 |  101228   206680 |   33742   90574 13877840   153.2 | 86.860 % |
497.81	c |    380912 |  101228   206680 |   37116   21316  1681202    78.9 | 87.021 % |
497.92	c |    381062 |  101200   206617 |   40827   21464  1689313    78.7 | 87.054 % |
498.06	c |    381289 |  101185   206582 |   44910   21667  1702173    78.6 | 87.074 % |
498.27	c |    381626 |  101148   206493 |   49401   21975  1723553    78.4 | 87.124 % |
498.57	c |    382133 |  101148   206493 |   54341   22482  1776280    79.0 | 87.124 % |
499.12	c |    382892 |  101055   206270 |   59776   23212  1844165    79.4 | 87.246 % |
499.73	c |    384031 |  101055   206270 |   65753   24351  1954875    80.3 | 87.246 % |
500.82	c |    385739 |  101055   206270 |   72328   26059  2147492    82.4 | 87.246 % |
502.30	c |    388301 |  101055   206270 |   79561   28621  2365128    82.6 | 87.246 % |
504.89	c |    392145 |  101027   206199 |   87518   32396  2747709    84.8 | 87.287 % |
509.38	c |    397911 |  101027   206199 |   96269   38162  3439348    90.1 | 87.287 % |
517.71	c |    406560 |  101027   206199 |  105896   46811  4695071   100.3 | 87.287 % |
530.87	c |    419534 |  101022   206188 |  116486   59757  6409276   107.3 | 87.293 % |
554.76	c |    438995 |  100964   206052 |  128135   79178  8870076   112.0 | 87.369 % |
598.12	c |    468188 |  100946   206006 |  140948  108363 12220053   112.8 | 87.396 % |
688.50	c |    511977 |  100946   206006 |  155043  152152 18151156   119.3 | 87.396 % |
828.63	c |    577661 |  100946   206006 |  170547   38410  3429448    89.3 | 87.396 % |
962.26	c |    676187 |  100891   205871 |  187602  136865 14521474   106.1 | 87.473 % |
1295.60	c |    823976 |  100891   205871 |  206363   75860  3443533    45.4 | 87.473 % |
1762.91	c |   1045661 |  100888   205864 |  226999   69235  2989273    43.2 | 87.477 % |
1801.16	c 
1801.16	c *** TERMINATED ***
1801.16	s SATISFIABLE
1801.16	v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1801.16	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 x1242 -x1241 -x1240 -x1239
1801.16	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1801.16	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 x1207 -x1206 -x1205
1801.16	v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 x1190 -x1189 -x1188
1801.16	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1801.16	v -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x1155 -x1154
1801.16	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137
1801.16	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 x1124 -x1123 -x1122 -x1121 -x1120
1801.16	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1801.16	v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
1801.16	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1801.16	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1801.16	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1801.16	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1801.16	v -x1017 -x1016 -x1015 -x1014 -x1013 x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 x1005 -x1004 -x1003 -x1002 -x1001 -x1000
1801.16	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 x981 -x980 -x979
1801.16	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1801.16	v -x957 -x956 x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1801.16	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1801.16	v -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1801.16	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1801.16	v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1801.16	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832
1801.16	v -x831 -x830 -x829 -x828 x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811
1801.16	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1801.16	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1801.16	v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1801.16	v -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1801.16	v x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 x708 -x707 -x706
1801.16	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1801.16	v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664
1801.16	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1801.16	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1801.16	v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 x606 -x605 -x604 -x603 -x602 -x601
1801.16	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580
1801.16	v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1801.16	v -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538
1801.16	v -x537 -x536 -x535 -x534 -x533 x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1801.16	v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 x506 -x505 -x504 -x503 -x502 -x501 x500 -x499 -x498 -x497 -x496
1801.16	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1801.16	v -x474 -x473 x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1801.16	v -x453 -x452 -x451 -x450 -x449 x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1801.16	v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1801.16	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391
1801.16	v -x390 -x389 -x388 -x387 x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1801.16	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1801.16	v -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1801.16	v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307
1801.16	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286
1801.16	v -x285 -x284 -x283 -x282 -x281 x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265
1801.16	v -x264 -x263 x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1801.16	v -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 x223
1801.16	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1801.16	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1801.16	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
1801.16	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 x141 -x140 -x139
1801.16	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1801.16	v -x117 -x116 x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1801.16	v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71
1801.16	v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1801.16	v -x44 -x43 -x42 -x41 -x40 -x39 -x38 x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19
1801.16	v -x18 -x17 x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data (download as text)

OK	-48

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node30/watcher-35625-1149297149 -o ROOT/results/node30/solver-35625-1149297149 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 25850
/proc/meminfo: memFree=1705592/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=1180 CPUtime=0
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 123 0 0 0 0 0 0 0 19 0 1 0 195378544 1208320 108 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013318 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 295 108 67 215 0 77 0

[startup+10.0015 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1673592/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=34096 CPUtime=9.98
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8296 0 0 0 985 13 0 0 25 0 1 0 195378544 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580372 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 8524 8080 110 215 0 8306 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 34096

[startup+20.0076 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1673784/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=34096 CPUtime=19.98
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8296 0 0 0 1985 13 0 0 25 0 1 0 195378544 34914304 8080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582068 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 8524 8080 110 215 0 8306 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 34096

[startup+30.0136 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1673528/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=34520 CPUtime=29.98
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 8369 0 0 0 2985 13 0 0 25 0 1 0 195378544 35348480 8153 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 8630 8153 110 215 0 8412 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 34520

[startup+40.0197 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1668792/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=39344 CPUtime=39.99
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 9569 0 0 0 3985 14 0 0 25 0 1 0 195378544 40288256 9345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580396 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 9836 9345 110 215 0 9618 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 39344

[startup+50.0257 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1662072/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=46048 CPUtime=49.99
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 11248 0 0 0 4984 15 0 0 25 0 1 0 195378544 47153152 11024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 11512 11024 110 215 0 11294 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 46048

[startup+60.0318 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1656696/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=51416 CPUtime=60
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 12573 0 0 0 5983 17 0 0 25 0 1 0 195378544 52649984 12349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580496 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 12854 12349 110 215 0 12636 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 51416

[startup+70.0378 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1649848/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=58212 CPUtime=70
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 14283 0 0 0 6981 19 0 0 25 0 1 0 195378544 59609088 14059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 14553 14059 110 215 0 14335 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 58212

[startup+80.0439 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1644792/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=63308 CPUtime=80
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 15556 0 0 0 7979 21 0 0 25 0 1 0 195378544 64827392 15324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580819 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 15827 15324 110 215 0 15609 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 63308

[startup+90.0499 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1641272/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=66724 CPUtime=90
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 16432 0 0 0 8979 21 0 0 25 0 1 0 195378544 68325376 16200 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581451 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 16681 16200 110 215 0 16463 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 66724

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1637112/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=71116 CPUtime=100.01
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 17480 0 0 0 9978 23 0 0 25 0 1 0 195378544 72822784 17248 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 17779 17248 110 215 0 17561 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 71116

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1633592/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=74640 CPUtime=110.01
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 18366 0 0 0 10977 24 0 0 25 0 1 0 195378544 76431360 18134 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 18660 18134 110 215 0 18442 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 74640

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1630072/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=78164 CPUtime=120.02
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 19243 0 0 0 11977 25 0 0 25 0 1 0 195378544 80039936 19011 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 19541 19011 110 215 0 19323 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 78164

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1625592/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=82592 CPUtime=130.01
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20358 0 0 0 12976 25 0 0 25 0 1 0 195378544 84574208 20126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580473 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20648 20126 110 215 0 20430 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 82592

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=140.02
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 13977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574465 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 83576

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=150.02
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 14977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 83576

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=160.02
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 15977 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 83576

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=170.03
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 16978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573928 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 83576

[startup+180.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=180.03
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 17978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 83576

[startup+190.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=190.03
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 18978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 83576

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=83576 CPUtime=200.03
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 20641 0 0 0 19978 25 0 0 25 0 1 0 195378544 85581824 20401 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 20894 20401 110 215 0 20676 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 83576

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25850
/proc/meminfo: memFree=1624440/2055920 swapFree=4180904/4192956

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

[pid=25850] ppid=25848 vsize=139876 CPUtime=1781.55
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178113 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 139876

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1782.55
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178213 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 139876

[startup+1784.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1783.56
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178314 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 139876

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1784.56
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178414 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581287 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 139876

[startup+1786.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1785.57
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178515 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 139876

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1786.57
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178615 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 139876

[startup+1788.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1568000/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1787.58
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178716 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 139876

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1788.58
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178816 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 139876

[startup+1790.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1789.58
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 178916 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574135 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 139876

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1790.59
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179017 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 139876

[startup+1792.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1791.59
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179117 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 139876

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1792.6
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179218 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 139876

[startup+1794.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1793.6
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179318 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 139876

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1794.61
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179419 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (Kb) 139876

[startup+1796.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1795.61
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179519 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 139876

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1796.62
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179620 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 139876

[startup+1798.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1797.62
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179720 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 139876

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1798.62
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179820 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (Kb) 139876

[startup+1800.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1799.63
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 179921 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 139876

[startup+1801.16 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1800.63
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 180021 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 139876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 25852
/proc/meminfo: memFree=1567936/2055920 swapFree=4180904/4192956
[pid=25850] ppid=25848 vsize=139876 CPUtime=1800.64
/proc/25850/stat : 25850 (minisat+) R 25848 25850 25804 0 -1 4194304 34666 0 0 0 180022 42 0 0 25 0 1 0 195378544 143233024 34426 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/25850/statm: 34969 34426 110 215 0 34751 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 139876

Sending SIGTERM to -25850
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.19
CPU time (s): 1800.67
CPU user time (s): 1800.22
CPU system time (s): 0.443932
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (Kb): 139876

Launcher Data (download as text)

Begin job on node30 on Sat Jun  3 01:12:29 UTC 2006


FILE ID= 35625-1149297149

PBS_JOBID= 307181

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-35625-1149297149 -o ROOT/results/node30/solver-35625-1149297149 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node30/35625-1149297149/instance-35625-1149297149.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  b94d4317cfb468b1c3dd3d790ff99d4d

RANDOM SEED= 542078334


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1705800 kB
Buffers:         17740 kB
Cached:         262264 kB
SwapCached:       3488 kB
Active:          49816 kB
Inactive:       238756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1705800 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             244 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            47668 kB
Committed_AS:   263776 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node30 on Sat Jun  3 01:42:30 UTC 2006