Trace number 3721314

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
PB07: minisat+ 1.14SAT (TO)-47 1800.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints80035
Number of constraints which are clauses80035
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 1150
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 1150
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 1150
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 

0.00/0.00	c Parsing PB file...
0.79/0.85	c Converting 80035 PB-constraints to clauses...
0.79/0.86	c   -- Unit propagations: (none)
0.79/0.86	c   -- Detecting intervals from adjacent constraints: (none)
0.79/0.86	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.89/0.95	c ==================================[MINISAT+]==================================
0.89/0.95	c | Conflicts | Original         | Learnt                           | Progress |
0.89/0.95	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.89/0.95	c ==============================================================================
0.89/0.95	c |         0 |   80035   160070 |   26678       0        0     nan |  0.000 % |
0.89/0.95	c ==============================================================================
0.89/0.95	c Found solution: -37
0.89/0.95	o -37
0.89/0.95	c ---[   0]---> Sorter-cost:63046     Base:
0.99/1.02	c ==================================[MINISAT+]==================================
0.99/1.02	c | Conflicts | Original         | Learnt                           | Progress |
0.99/1.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.99/1.02	c ==============================================================================
0.99/1.02	c |         0 |  147951   319392 |   49317       0        0     nan |  0.000 % |
1.09/1.15	c |       100 |  147312   318040 |   54248      57     1282    22.5 |  0.772 % |
1.19/1.28	c |       251 |  146773   316900 |   59673     187     2917    15.6 |  1.422 % |
1.49/1.51	c |       476 |  145213   313544 |   65640     368     5352    14.5 |  3.429 % |
1.69/1.75	c |       813 |  143505   309796 |   72205     621     8354    13.5 |  5.644 % |
2.19/2.25	c |      1320 |  139677   301273 |   79425    1008    13306    13.2 | 10.638 % |
2.69/2.71	c |      2079 |  135693   292365 |   87368    1543    19391    12.6 | 15.964 % |
3.39/3.43	c |      3218 |  129784   278974 |   96104    2359    29829    12.6 | 24.035 % |
4.29/4.39	c |      4926 |  122432   262085 |  105715    3616    48944    13.5 | 34.279 % |
5.59/5.65	c |      7488 |  111938   237654 |  116286    5258    69109    13.1 | 49.006 % |
6.99/7.07	c |     11332 |  101310   212553 |  127915    7785   111547    14.3 | 64.438 % |
7.79/7.86	c ==============================================================================
7.79/7.86	c Found solution: -38
7.79/7.86	o -38
7.79/7.86	c ---[   0]---> Sorter-cost:    0     Base:
7.89/7.90	c ==================================[MINISAT+]==================================
7.89/7.90	c | Conflicts | Original         | Learnt                           | Progress |
7.89/7.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.89/7.90	c ==============================================================================
7.89/7.90	c |     14084 |   96816   201835 |   32272    9412   143299    15.2 | 64.438 % |
7.89/7.91	c |     14184 |   96772   201727 |   35499    9499   144028    15.2 | 71.052 % |
7.89/7.95	c |     14334 |   96570   201231 |   39049    9550   144833    15.2 | 71.359 % |
7.99/8.00	c |     14560 |   96295   200569 |   42954    9703   147277    15.2 | 71.772 % |
7.99/8.07	c ==============================================================================
7.99/8.07	c Found solution: -40
7.99/8.07	o -40
7.99/8.08	c ---[   0]---> Sorter-cost:    0     Base:
8.09/8.11	c ==================================[MINISAT+]==================================
8.09/8.11	c | Conflicts | Original         | Learnt                           | Progress |
8.09/8.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.09/8.11	c ==============================================================================
8.09/8.11	c |     14788 |   96036   200007 |   32012    9819   147145    15.0 | 71.772 % |
8.09/8.13	c |     14888 |   96036   200007 |   35213    9919   148330    15.0 | 72.243 % |
8.09/8.14	c |     15038 |   96036   200007 |   38734   10069   149721    14.9 | 72.243 % |
8.09/8.17	c |     15263 |   96036   200007 |   42607   10294   154570    15.0 | 72.243 % |
8.19/8.23	c |     15600 |   95761   199378 |   46868   10569   160536    15.2 | 72.625 % |
8.29/8.34	c |     16106 |   95153   197892 |   51555   10886   169202    15.5 | 73.553 % |
8.39/8.46	c |     16865 |   94758   196946 |   56711   11525   181628    15.8 | 74.144 % |
8.59/8.67	c |     18004 |   94310   195868 |   62382   12430   205545    16.5 | 74.813 % |
8.89/8.92	c |     19713 |   94001   195126 |   68620   13894   265668    19.1 | 75.275 % |
9.39/9.45	c |     22276 |   92381   191245 |   75482   15687   319719    20.4 | 77.691 % |
9.99/10.05	c |     26120 |   91522   189173 |   83030   19074   495885    26.0 | 78.980 % |
10.39/10.41	c ==============================================================================
10.39/10.41	c Found solution: -41
10.39/10.41	o -41
10.39/10.42	c ---[   0]---> Sorter-cost:    0     Base:
10.39/10.46	c ==================================[MINISAT+]==================================
10.39/10.46	c | Conflicts | Original         | Learnt                           | Progress |
10.39/10.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.39/10.46	c ==============================================================================
10.39/10.46	c |     27853 |   91077   188149 |   30359   20461   588458    28.8 | 78.980 % |
10.39/10.48	c |     27953 |   91077   188149 |   33394   20561   590686    28.7 | 79.629 % |
10.49/10.51	c |     28103 |   91026   188021 |   36734   20631   592469    28.7 | 79.706 % |
10.49/10.54	c |     28328 |   91026   188021 |   40407   20856   599678    28.8 | 79.706 % |
10.49/10.59	c |     28665 |   91026   188021 |   44448   21193   622260    29.4 | 79.706 % |
10.69/10.70	c ==============================================================================
10.69/10.70	c Found solution: -42
10.69/10.70	o -42
10.69/10.70	c ---[   0]---> Sorter-cost:    0     Base:
10.69/10.74	c ==================================[MINISAT+]==================================
10.69/10.74	c | Conflicts | Original         | Learnt                           | Progress |
10.69/10.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.69/10.74	c ==============================================================================
10.69/10.74	c |     28969 |   90731   187263 |   30243   21322   628608    29.5 | 79.706 % |
10.69/10.77	c |     29069 |   90722   187240 |   33267   21414   632006    29.5 | 80.173 % |
10.79/10.81	c |     29219 |   90593   186934 |   36594   21396   633325    29.6 | 80.358 % |
10.79/10.86	c |     29445 |   90536   186795 |   40253   21617   652375    30.2 | 80.447 % |
10.89/10.94	c |     29782 |   90499   186706 |   44278   21904   668251    30.5 | 80.503 % |
10.99/11.06	c |     30289 |   90299   186216 |   48706   22108   682253    30.9 | 80.809 % |
11.09/11.19	c |     31048 |   90231   186060 |   53577   22782   711877    31.2 | 80.904 % |
11.39/11.45	c |     32187 |   89778   184940 |   58935   23599   766824    32.5 | 81.598 % |
11.69/11.70	c |     33896 |   89773   184929 |   64828   25280   869667    34.4 | 81.605 % |
12.09/12.19	c |     36458 |   89601   184511 |   71311   27781  1104154    39.7 | 81.868 % |
13.19/13.24	c |     40303 |   89001   183057 |   78442   30883  1452224    47.0 | 82.782 % |
14.49/14.56	c |     46069 |   88653   182193 |   86286   36261  1909440    52.7 | 83.326 % |
16.09/16.16	c ==============================================================================
16.09/16.16	c Found solution: -43
16.09/16.16	o -43
16.09/16.17	c ---[   0]---> Sorter-cost:    0     Base:
16.19/16.22	c ==================================[MINISAT+]==================================
16.19/16.22	c | Conflicts | Original         | Learnt                           | Progress |
16.19/16.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.19/16.22	c ==============================================================================
16.19/16.22	c |     53577 |   88651   182222 |   29550   43705  2561808    58.6 | 83.326 % |
16.19/16.25	c |     53677 |   88651   182222 |   32505   43805  2563789    58.5 | 83.359 % |
16.29/16.33	c |     53827 |   88622   182151 |   35755   43811  2568576    58.6 | 83.404 % |
16.29/16.39	c |     54052 |   88622   182151 |   39331   44036  2589935    58.8 | 83.404 % |
16.50/16.51	c |     54389 |   88537   181938 |   43264   44316  2602581    58.7 | 83.542 % |
16.59/16.67	c |     54895 |   88502   181851 |   47590   44743  2640960    59.0 | 83.598 % |
16.89/16.92	c |     55654 |   88489   181818 |   52349   45410  2688658    59.2 | 83.620 % |
17.39/17.40	c |     56795 |   88255   181245 |   57584   46245  2798146    60.5 | 83.970 % |
17.69/17.72	c |     58504 |   88255   181245 |   63343   47954  2931810    61.1 | 83.970 % |
18.49/18.50	c |     61066 |   88117   180910 |   69677   50021  3189748    63.8 | 84.181 % |
19.49/19.50	c |     64910 |   88088   180842 |   76645   53834  3616238    67.2 | 84.220 % |
20.99/21.01	c |     70676 |   88083   180831 |   84309   59598  4123646    69.2 | 84.226 % |
22.99/23.02	c ==============================================================================
22.99/23.02	c Found solution: -45
22.99/23.02	o -45
22.99/23.03	c ---[   0]---> Sorter-cost:    0     Base:
22.99/23.10	c ==================================[MINISAT+]==================================
22.99/23.10	c | Conflicts | Original         | Learnt                           | Progress |
22.99/23.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.99/23.10	c ==============================================================================
22.99/23.10	c |     76602 |   87920   180446 |   29306   64994  4731142    72.8 | 84.226 % |
23.09/23.14	c |     76704 |   87920   180446 |   32236   65096  4739491    72.8 | 84.488 % |
23.09/23.20	c |     76855 |   87920   180446 |   35460   65247  4745429    72.7 | 84.488 % |
23.18/23.28	c |     77080 |   87920   180446 |   39006   65472  4759519    72.7 | 84.488 % |
23.28/23.39	c |     77417 |   87920   180446 |   42906   65809  4783089    72.7 | 84.488 % |
23.48/23.55	c |     77924 |   87920   180446 |   47197   66316  4834519    72.9 | 84.488 % |
23.78/23.83	c |     78684 |   87915   180435 |   51917   67073  4915209    73.3 | 84.494 % |
24.28/24.34	c |     79823 |   87782   180128 |   57109   67701  5020176    74.2 | 84.681 % |
24.98/25.06	c |     81531 |   87629   179763 |   62820   69363  5207979    75.1 | 84.907 % |
25.78/25.86	c |     84093 |   87629   179763 |   69102   71925  5462668    75.9 | 84.907 % |
27.19/27.28	c |     87937 |   87629   179763 |   76012   75769  5852613    77.2 | 84.907 % |
29.19/29.24	c |     93703 |   87615   179727 |   83613   81487  6335995    77.8 | 84.931 % |
32.38/32.41	c |    102352 |   87615   179727 |   91974   90136  7289858    80.9 | 84.931 % |
37.78/37.80	c |    115328 |   87613   179723 |  101172  103111  8798918    85.3 | 84.933 % |
46.58/46.67	c |    134790 |   87540   179550 |  111289  122522 11000809    89.8 | 85.040 % |
63.38/63.42	c |    163982 |   87270   178893 |  122418  150898 14231492    94.3 | 85.455 % |
80.28/80.39	c |    207771 |   87197   178706 |  134660   54694  5876777   107.4 | 85.578 % |
113.97/114.08	c |    273455 |   87182   178671 |  148126  120376 10322069    85.7 | 85.599 % |
177.94/178.00	c |    371981 |   87177   178658 |  162938   51891  2115967    40.8 | 85.608 % |
246.71/246.83	c |    519771 |   87049   178354 |  179232  199664 15496049    77.6 | 85.793 % |
326.99/327.13	c ==============================================================================
326.99/327.13	c Found solution: -46
326.99/327.13	o -46
326.99/327.14	c ---[   0]---> Sorter-cost:    0     Base:
327.19/327.31	c ==================================[MINISAT+]==================================
327.19/327.31	c | Conflicts | Original         | Learnt                           | Progress |
327.19/327.31	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
327.19/327.31	c ==============================================================================
327.19/327.31	c |    701811 |   86901   177971 |   28967  182482 19502868   106.9 | 85.793 % |
327.70/327.83	c |    701911 |   86901   177971 |   31863   22991  1347020    58.6 | 86.009 % |
327.70/327.86	c |    702061 |   86901   177971 |   35050   23141  1358101    58.7 | 86.009 % |
327.79/327.91	c |    702287 |   86895   177957 |   38555   23364  1366748    58.5 | 86.017 % |
327.79/327.95	c |    702624 |   86895   177957 |   42410   23701  1379424    58.2 | 86.017 % |
327.89/328.01	c |    703130 |   86895   177957 |   46651   24207  1396449    57.7 | 86.017 % |
327.99/328.11	c |    703893 |   86895   177957 |   51316   24970  1445843    57.9 | 86.017 % |
328.09/328.29	c |    705032 |   86895   177957 |   56448   26109  1529104    58.6 | 86.017 % |
328.39/328.54	c |    706740 |   86843   177831 |   62093   27752  1618128    58.3 | 86.097 % |
328.80/328.99	c |    709302 |   86840   177824 |   68302   30266  1883311    62.2 | 86.101 % |
329.59/329.79	c |    713146 |   86836   177814 |   75132   34106  2413903    70.8 | 86.108 % |
330.69/330.85	c |    718914 |   86828   177796 |   82646   39867  2923494    73.3 | 86.118 % |
332.59/332.77	c |    727563 |   86823   177785 |   90910   48485  3902676    80.5 | 86.125 % |
335.69/335.86	c |    740537 |   86725   177549 |  100001   61453  5190422    84.5 | 86.271 % |
342.19/342.35	c |    759998 |   86725   177549 |  110002   80914  7702762    95.2 | 86.271 % |
352.09/352.27	c |    789190 |   86708   177510 |  121002  110092 10692484    97.1 | 86.295 % |
370.99/371.14	c |    832979 |   86706   177506 |  133102  153880 14874274    96.7 | 86.297 % |
396.28/396.42	c |    898663 |   86706   177506 |  146412   66858  4322578    64.7 | 86.297 % |
449.07/449.21	c |    997189 |   86694   177476 |  161054  165381  8276913    50.0 | 86.316 % |
493.97/494.18	c ==============================================================================
493.97/494.18	c Found solution: -47
493.97/494.18	o -47
493.97/494.19	c ---[   0]---> Sorter-cost:    0     Base:
494.07/494.25	c ==================================[MINISAT+]==================================
494.07/494.25	c | Conflicts | Original         | Learnt                           | Progress |
494.07/494.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
494.07/494.25	c ==============================================================================
494.07/494.25	c |   1080259 |   86725   177563 |   28908   71949  2423087    33.7 | 86.316 % |
494.37/494.50	c |   1080360 |   86725   177563 |   31798   26210   656098    25.0 | 86.305 % |
494.37/494.53	c |   1080510 |   86725   177563 |   34978   26360   662533    25.1 | 86.305 % |
494.37/494.57	c |   1080735 |   86725   177563 |   38476   26585   673821    25.3 | 86.305 % |
494.47/494.60	c |   1081074 |   86725   177563 |   42324   26924   682698    25.4 | 86.305 % |
494.47/494.67	c |   1081582 |   86725   177563 |   46556   27432   709014    25.8 | 86.305 % |
494.57/494.79	c |   1082341 |   86725   177563 |   51212   28191   776508    27.5 | 86.305 % |
494.77/494.97	c |   1083480 |   86725   177563 |   56333   29330   849216    29.0 | 86.305 % |
494.97/495.14	c |   1085188 |   86725   177563 |   61966   31038   913536    29.4 | 86.305 % |
495.27/495.46	c |   1087750 |   86716   177540 |   68163   33595  1057290    31.5 | 86.320 % |
495.87/496.01	c |   1091594 |   86667   177427 |   74979   37423  1327704    35.5 | 86.389 % |
496.67/496.89	c |   1097360 |   86627   177330 |   82477   43158  1771846    41.1 | 86.449 % |
498.47/498.62	c |   1106009 |   86618   177309 |   90725   51799  2717047    52.5 | 86.462 % |
501.67/501.83	c |   1118985 |   86507   177033 |   99798   64752  4004424    61.8 | 86.635 % |
506.77/506.94	c |   1138446 |   86458   176904 |  109778   84207  5682506    67.5 | 86.721 % |
516.57/516.71	c |   1167639 |   86458   176904 |  120755  113400  7890896    69.6 | 86.721 % |
533.66/533.82	c |   1211428 |   86386   176726 |  132831  157054 11549376    73.5 | 86.835 % |
556.26/556.49	c |   1277112 |   86372   176692 |  146114   71569  4698316    65.6 | 86.856 % |
601.15/601.31	c |   1375638 |   86362   176668 |  160726  170092 15997538    94.1 | 86.871 % |
656.64/656.83	c |   1523427 |   86268   176438 |  176798  139387 12058278    86.5 | 87.011 % |
758.42/758.69	c |   1745110 |   86204   176284 |  194478  169438 15086992    89.0 | 87.107 % |
930.90/931.18	c |   2077635 |   86148   176154 |  213926   89511  4168261    46.6 | 87.185 % |
1193.16/1193.42	c |   2576424 |   86104   176048 |  235319  136955  6154501    44.9 | 87.251 % |
1599.60/1599.90	c |   3324607 |   86039   175885 |  258850  148577  5755306    38.7 | 87.354 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s SATISFIABLE
1800.07/1800.40	v -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 -x942 -x941 x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 x509 -x508 -x507 -x506 -x505 -x504 x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -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 -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 -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 -x18 x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-47

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721314-1338554529/watcher-3721314-1338554529 -o /tmp/evaluation-result-3721314-1338554529/solver-3721314-1338554529 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721314-1338554529.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.04 2.52 2.10 3/176 19376
/proc/meminfo: memFree=31731056/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=1396 CPUtime=0 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 200 0 0 0 0 0 0 0 20 0 1 0 321579845 1429504 158 33554432000 134512640 135395479 4291698080 4291697096 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 349 158 74 216 0 131 0

[startup+0.0802001 s]
/proc/loadavg: 2.04 2.52 2.10 3/176 19376
/proc/meminfo: memFree=31731056/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=2896 CPUtime=0.07 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 586 0 0 0 7 0 0 0 20 0 1 0 321579845 2965504 544 33554432000 134512640 135395479 4291698080 4291696912 134618939 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 724 544 74 216 0 506 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2896

[startup+0.100268 s]
/proc/loadavg: 2.04 2.52 2.10 3/176 19376
/proc/meminfo: memFree=31731056/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=3324 CPUtime=0.09 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 690 0 0 0 9 0 0 0 20 0 1 0 321579845 3403776 648 33554432000 134512640 135395479 4291698080 4291697096 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 831 648 74 216 0 613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3324

[startup+0.300233 s]
/proc/loadavg: 2.04 2.52 2.10 3/176 19376
/proc/meminfo: memFree=31731056/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=7576 CPUtime=0.29 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 1734 0 0 0 29 0 0 0 20 0 1 0 321579845 7757824 1692 33554432000 134512640 135395479 4291698080 4291696912 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 1894 1692 74 216 0 1676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7576

[startup+0.700228 s]
/proc/loadavg: 2.04 2.52 2.10 3/176 19376
/proc/meminfo: memFree=31731056/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=15872 CPUtime=0.69 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 3809 0 0 0 69 0 0 0 20 0 1 0 321579845 16252928 3767 33554432000 134512640 135395479 4291698080 4291696444 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 3968 3767 74 216 0 3750 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15872

[startup+1.5003 s]
/proc/loadavg: 2.04 2.52 2.10 3/177 19377
/proc/meminfo: memFree=31705868/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=30052 CPUtime=1.49 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 7210 0 0 0 145 4 0 0 20 0 1 0 321579845 30773248 6987 33554432000 134512640 135395479 4291698080 4291696432 134569723 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 7513 6987 110 216 0 7295 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30052

[startup+3.10031 s]
/proc/loadavg: 2.04 2.52 2.10 3/177 19377
/proc/meminfo: memFree=31701768/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=30052 CPUtime=3.09 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 7210 0 0 0 305 4 0 0 20 0 1 0 321579845 30773248 6987 33554432000 134512640 135395479 4291698080 4291696448 134569826 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 7513 6987 110 216 0 7295 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30052

[startup+6.3003 s]
/proc/loadavg: 2.04 2.51 2.10 3/177 19377
/proc/meminfo: memFree=31700164/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=30052 CPUtime=6.29 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 7210 0 0 0 625 4 0 0 20 0 1 0 321579845 30773248 6987 33554432000 134512640 135395479 4291698080 4291696400 134573073 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 7513 6987 110 216 0 7295 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30052

[startup+12.7003 s]
/proc/loadavg: 2.04 2.50 2.10 3/177 19377
/proc/meminfo: memFree=31695716/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=30596 CPUtime=12.68 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 7303 0 0 0 1264 4 0 0 20 0 1 0 321579845 31330304 7080 33554432000 134512640 135395479 4291698080 4291696432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 7649 7080 110 216 0 7431 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30596

[startup+25.5003 s]
/proc/loadavg: 2.03 2.48 2.10 3/177 19377
/proc/meminfo: memFree=31672296/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=47924 CPUtime=25.48 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 11623 0 0 0 2543 5 0 0 20 0 1 0 321579845 49074176 11400 33554432000 134512640 135395479 4291698080 4291695980 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 11981 11400 110 216 0 11763 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 47924

[startup+51.1003 s]
/proc/loadavg: 2.02 2.44 2.09 3/177 19377
/proc/meminfo: memFree=31637824/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=75392 CPUtime=51.09 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 18490 0 0 0 5101 8 0 0 20 0 1 0 321579845 77201408 18267 33554432000 134512640 135395479 4291698080 4291696432 134581494 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 18848 18267 110 216 0 18630 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75392

[startup+102.307 s]
/proc/loadavg: 2.16 2.41 2.10 3/177 19377
/proc/meminfo: memFree=31604840/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=93044 CPUtime=102.28 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 22876 0 0 0 10219 9 0 0 20 0 1 0 321579845 95277056 22653 33554432000 134512640 135395479 4291698080 4291696432 134581415 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 23261 22653 110 216 0 23043 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 93044

[startup+162.3 s]
/proc/loadavg: 2.06 2.34 2.09 3/177 19377
/proc/meminfo: memFree=31586592/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=93236 CPUtime=162.26 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 22937 0 0 0 16217 9 0 0 20 0 1 0 321579845 95473664 22706 33554432000 134512640 135395479 4291698080 4291696432 134581036 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 23309 22706 110 216 0 23091 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 93236

[startup+222.3 s]
/proc/loadavg: 2.02 2.27 2.08 3/177 19377
/proc/meminfo: memFree=31586776/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=93396 CPUtime=222.22 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 22999 0 0 0 22213 9 0 0 20 0 1 0 321579845 95637504 22736 33554432000 134512640 135395479 4291698080 4291695800 135005974 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 23349 22736 110 216 0 23131 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 93396

[startup+282.3 s]
/proc/loadavg: 2.00 2.22 2.08 3/177 19378
/proc/meminfo: memFree=31575368/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=105384 CPUtime=282.2 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 25907 0 0 0 28208 12 0 0 20 0 1 0 321579845 107913216 25644 33554432000 134512640 135395479 4291698080 4291696432 134580859 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 26346 25644 110 216 0 26128 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 105384

[startup+342.3 s]
/proc/loadavg: 2.04 2.19 2.08 3/177 19378
/proc/meminfo: memFree=31566564/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=114016 CPUtime=342.19 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 28085 0 0 0 34206 13 0 0 20 0 1 0 321579845 116752384 27822 33554432000 134512640 135395479 4291698080 4291696432 134581480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 28504 27822 110 216 0 28286 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 114016

[startup+402.3 s]
/proc/loadavg: 2.01 2.15 2.07 3/177 19378
/proc/meminfo: memFree=31566440/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=114004 CPUtime=402.18 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 28085 0 0 0 40205 13 0 0 20 0 1 0 321579845 116740096 27822 33554432000 134512640 135395479 4291698080 4291696432 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 28501 27822 110 216 0 28283 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 114004

[startup+462.3 s]
/proc/loadavg: 2.00 2.12 2.06 3/177 19378
/proc/meminfo: memFree=31557184/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=114412 CPUtime=462.17 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 28165 0 0 0 46203 14 0 0 20 0 1 0 321579845 117157888 27913 33554432000 134512640 135395479 4291698080 4291695952 134574149 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 28603 27913 110 216 0 28385 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 114412

[startup+522.3 s]
/proc/loadavg: 2.00 2.10 2.06 3/178 19381
/proc/meminfo: memFree=31467152/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=114412 CPUtime=522.16 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 28171 0 0 0 52202 14 0 0 20 0 1 0 321579845 117157888 27919 33554432000 134512640 135395479 4291698080 4291696432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 28603 27919 110 216 0 28385 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 114412

[startup+582.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/177 19382
/proc/meminfo: memFree=31431720/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=114412 CPUtime=582.16 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 28171 0 0 0 58202 14 0 0 20 0 1 0 321579845 117157888 27919 33554432000 134512640 135395479 4291698080 4291696432 134581030 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 28603 27919 110 216 0 28385 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 114412

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/177 19382
/proc/meminfo: memFree=31423744/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=122256 CPUtime=822.11 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30083 0 0 0 82196 15 0 0 20 0 1 0 321579845 125190144 29840 33554432000 134512640 135395479 4291698080 4291695952 134574489 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30564 29840 110 216 0 30346 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 122256

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/177 19383
/proc/meminfo: memFree=31423876/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=122256 CPUtime=882.1 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30086 0 0 0 88195 15 0 0 20 0 1 0 321579845 125190144 29843 33554432000 134512640 135395479 4291698080 4291696432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30564 29843 110 216 0 30346 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 122256

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/177 19383
/proc/meminfo: memFree=31423124/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123044 CPUtime=942.1 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30242 0 0 0 94194 16 0 0 20 0 1 0 321579845 125997056 29999 33554432000 134512640 135395479 4291698080 4291696400 134572728 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30761 29999 110 216 0 30543 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 123044

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/177 19383
/proc/meminfo: memFree=31406012/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123044 CPUtime=1002.09 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30251 0 0 0 100193 16 0 0 20 0 1 0 321579845 125997056 30008 33554432000 134512640 135395479 4291698080 4291696432 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30761 30008 110 216 0 30543 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 123044

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 19383
/proc/meminfo: memFree=31362240/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123288 CPUtime=1062.08 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30314 0 0 0 106192 16 0 0 20 0 1 0 321579845 126246912 30071 33554432000 134512640 135395479 4291698080 4291696384 134580311 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30822 30071 110 216 0 30604 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 123288

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19386
/proc/meminfo: memFree=31304696/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123288 CPUtime=1122.07 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30314 0 0 0 112191 16 0 0 20 0 1 0 321579845 126246912 30071 33554432000 134512640 135395479 4291698080 4291696432 134581469 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30822 30071 110 216 0 30604 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 123288

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 19409
/proc/meminfo: memFree=31237364/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123652 CPUtime=1182.06 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30381 0 0 0 118190 16 0 0 20 0 1 0 321579845 126619648 30138 33554432000 134512640 135395479 4291698080 4291696432 134580896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30913 30138 110 216 0 30695 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 123652

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19410
/proc/meminfo: memFree=31164144/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=123652 CPUtime=1242.05 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30385 0 0 0 124189 16 0 0 20 0 1 0 321579845 126619648 30142 33554432000 134512640 135395479 4291698080 4291696432 134580893 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 30913 30142 110 216 0 30695 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 123652

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19410
/proc/meminfo: memFree=31096468/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=124180 CPUtime=1302.05 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30495 0 0 0 130189 16 0 0 20 0 1 0 321579845 127160320 30252 33554432000 134512640 135395479 4291698080 4291696432 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31045 30252 110 216 0 30827 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 124180

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19410
/proc/meminfo: memFree=31033876/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=124180 CPUtime=1362.03 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30495 0 0 0 136187 16 0 0 20 0 1 0 321579845 127160320 30252 33554432000 134512640 135395479 4291698080 4291696432 134580744 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31045 30252 110 216 0 30827 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 124180

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19410
/proc/meminfo: memFree=30983932/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=124424 CPUtime=1422.03 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30553 0 0 0 142187 16 0 0 20 0 1 0 321579845 127410176 30310 33554432000 134512640 135395479 4291698080 4291696432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31106 30310 110 216 0 30888 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 124424

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19410
/proc/meminfo: memFree=30958788/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=124668 CPUtime=1482.01 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30603 0 0 0 148185 16 0 0 20 0 1 0 321579845 127660032 30360 33554432000 134512640 135395479 4291698080 4291696048 134576199 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31167 30360 110 216 0 30949 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 124668

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19411
/proc/meminfo: memFree=30931236/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125032 CPUtime=1542.01 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30669 0 0 0 154185 16 0 0 20 0 1 0 321579845 128032768 30426 33554432000 134512640 135395479 4291698080 4291696432 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31258 30426 110 216 0 31040 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 125032

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 19508
/proc/meminfo: memFree=31815204/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125032 CPUtime=1602 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30673 0 0 0 160184 16 0 0 20 0 1 0 321579845 128032768 30430 33554432000 134512640 135395479 4291698080 4291695952 134574149 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31258 30430 110 216 0 31040 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 125032

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 19508
/proc/meminfo: memFree=31813092/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125032 CPUtime=1661.99 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30679 0 0 0 166183 16 0 0 20 0 1 0 321579845 128032768 30436 33554432000 134512640 135395479 4291698080 4291696432 134580798 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31258 30436 110 216 0 31040 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 125032

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 19511
/proc/meminfo: memFree=31810416/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125232 CPUtime=1721.98 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30731 0 0 0 172182 16 0 0 20 0 1 0 321579845 128237568 30488 33554432000 134512640 135395479 4291698080 4291696432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31308 30488 110 216 0 31090 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 125232

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 19511
/proc/meminfo: memFree=31809120/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125232 CPUtime=1781.97 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30732 0 0 0 178181 16 0 0 20 0 1 0 321579845 128237568 30489 33554432000 134512640 135395479 4291698080 4291696432 134581014 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31308 30489 110 216 0 31090 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 125232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19512
/proc/meminfo: memFree=31809120/32873844 swapFree=7116/7116
[pid=19376] ppid=19374 vsize=125476 CPUtime=1800.07 cores=1,3,5,7
/proc/19376/stat : 19376 (minisat+) R 19374 19376 19055 0 -1 4202496 30775 0 0 0 179991 16 0 0 20 0 1 0 321579845 128487424 30532 33554432000 134512640 135395479 4291698080 4291696432 134581480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/19376/statm: 31369 30532 110 216 0 31151 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 125476

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

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.163975
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 125476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.163975
maximum resident set size= 122136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54
involuntary context switches= 1852

runsolver used 4.04938 second user time and 9.41557 second system time

The end

Launcher Data 

Begin job on node111 at 2012-06-01 14:42:09
IDJOB=3721314
IDBENCH=2262
IDSOLVER=2306
FILE ID=node111/3721314-1338554529
RUNJOBID= node111-1338552573-19072
PBS_JOBID= 14635873
Free space on /tmp= 67392 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721314-1338554529/watcher-3721314-1338554529 -o /tmp/evaluation-result-3721314-1338554529/solver-3721314-1338554529 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721314-1338554529.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
RANDOM SEED=188893235

node111.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.152
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31731220 kB
Buffers:           73864 kB
Cached:            91328 kB
SwapCached:         1296 kB
Active:           269992 kB
Inactive:         112780 kB
Active(anon):     218656 kB
Inactive(anon):     1056 kB
Active(file):      51336 kB
Inactive(file):   111724 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100040 kB
Dirty:              4296 kB
Writeback:             0 kB
AnonPages:        222828 kB
Mapped:             9128 kB
Shmem:                 0 kB
Slab:             619880 kB
SReclaimable:      62176 kB
SUnreclaim:       557704 kB
KernelStack:        1456 kB
PageTables:         4820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     341296 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721314-1338554529.opb

Free space on /tmp at the end= 67392 MiB
End job on node111 at 2012-06-01 15:12:11